##
# OpenTREP manual pages, generated with Doxygen.
#

#
doc_add_man_pages (
  MAN1 opentrep-indexer opentrep-searcher opentrep-dbmgr opentrep-config
       pyopentrep
  MAN3 opentrep-library)
