Bryce Denney 05f350c61b - build bochsdoc.tar.gz in a separate make target. upload the whole tar.gz ... with scp and then log in and gunzip it on the shell server. This speeds up "make webinst" quite a bit. - add "make dl_docs" which downloads a bochsdoc.tar.gz from the web site. This will be used to grab the rendered documentation for platforms that do not have docbook tools. (Most don't.) - stop installing "README" because depending on where you put it, it can overwrite the main README.		2002-12-14 21:24:55 +00:00
..
docbook	- build bochsdoc.tar.gz in a separate make target. upload the whole tar.gz	2002-12-14 21:24:55 +00:00
man	- fix doc url	2002-12-13 19:47:40 +00:00