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