Mercury-Language/mercury — pull request #7 by PaulBone (2013-04-15 05:27:14+00:00)
Title: Add doc/Mmakefile changes for building the website docs to the release branch

Add my recent changes to doc/Mmakefile to the release branch of the repository.