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.
make install it will build the docbook documentation and install it
into $(prefix)/share/doc/bochs. If it is not specified, then it will
be enabled only if the program "docbook2html" is found in your path.
- this completes [ 652957 ] install docbook docs instead of HTML
Modified Files:
Makefile.in configure configure.in doc/docbook/Makefile.in
- only rebuild docbook stuff when the source is newer
- add install target
- allow $SFUSER environment variable to define the sf username, instead of
hardcoding the user->sfuser translations in the makefile.
- now alldocs is called index.html
- add dist-clean target