... All old contents of audacity.dox moved to audacity.dox.in;
audacity.dox includes it and changes some options, to be run in nightly updates
of web pages;
nograph.dox also includes it, and is now fit for local usage by the developer,
generating only the same information as audacity.dox before (in only half a
minute on my machine), but easily editable to turn on selected graphs.