  $ 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
