Christophe Bothamy acd7f00b11 - fix Makefile so it renames index.html to book1.html, if necessary. ... Some stylesheets create an index.html file, others a book1.html file. Debian default creates index.html.		2003-01-21 23:07:29 +00:00
..
docbook	- fix Makefile so it renames index.html to book1.html, if necessary.	2003-01-21 23:07:29 +00:00
man	- add time0 and i440fxsupport .bochsrc option description	2002-12-21 17:37:35 +00:00