Improved Autodist documentation to produce better HTML pages.