Commit 8c03401bdae80eb04b613cebd931e6365abf3275
2003-11-12T16:54:26
rebuilt the generated HTML pages updated the stylesheets, added a * doc/*.html: rebuilt the generated HTML pages * doc/examples/*: updated the stylesheets, added a synopsis, Makefile.am is now generated by index.py Daniel