/usr/bin/gatherheaderdoc
gatherheaderdoc processes the headerdoc output in directory and creates an index page that links to each header's documentation.