Bryce Denney c37d54d704 - rename alldocs.html to index.html. This is what most people would expect ... to be the starting point of the documentation to be called. Added: index.html Removed: alldocs.html		2002-12-13 17:07:01 +00:00
..
docbook	- rename alldocs.html to index.html. This is what most people would expect	2002-12-13 17:07:01 +00:00
man	- get rid of bochs-docs which didn't work anyway	2002-12-11 19:16:20 +00:00