1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
$ find ../docs/odoc/tyxml/ -name '*.odocl' -exec basename '{}' ';' | grep -v "__" | sort
html_f.odocl
html_sigs.odocl
html_types.odocl
page-index.odocl
svg_f.odocl
svg_sigs.odocl
svg_types.odocl
tyxml.odocl
tyxml_html.odocl
tyxml_svg.odocl
tyxml_xml.odocl
xml_iter.odocl
xml_print.odocl
xml_sigs.odocl
xml_stream.odocl
xml_wrap.odocl
$ find ../docs/odoc/tyxml/ -name '*.odocl' -exec basename '{}' ';' | sort
html_f.odocl
html_sigs.odocl
html_types.odocl
page-index.odocl
svg_f.odocl
svg_sigs.odocl
svg_types.odocl
tyxml.odocl
tyxml_html.odocl
tyxml_svg.odocl
tyxml_xml.odocl
xml_iter.odocl
xml_print.odocl
xml_sigs.odocl
xml_stream.odocl
xml_wrap.odocl
|
