- add shortcut for downloading rendered docs from the website, for platforms   that have no docbook tools.
- add shortcut for downloading rendered docs from the website, for platforms
  that have no docbook tools.

marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet