(Changes to Makefile, bin/refs-autogen, docbook/*)
(Part of changes related to online docs, part should fix the
broken links issue we had).
* Small update to stylesheet: put legalnotice and copyright blocks
font size to 70%
Some changes to the index page related to online viewing
Little fixes I've spotted along the way