Commit [7bcdfc]  Maximize  Restore  History

More documentation fixes.

'make dist' now builds and includes a copy of the Doxygen docs in doc/html.
'make maintainer-clean' will remove doc/html if present.

Nikos Gorogiannis Nikos Gorogiannis 2007-07-23

changed doc/Makefile.am
changed doc/conf.doxyfile
changed doc/mainpage.h
changed src/bdd.h
doc/Makefile.am Diff Switch to side-by-side view
Loading...
doc/conf.doxyfile Diff Switch to side-by-side view
Loading...
doc/mainpage.h Diff Switch to side-by-side view
Loading...
src/bdd.h Diff Switch to side-by-side view
Loading...