Commits


final touches before the release


close </ul> and </pre> at the end of the document


typo


change script for gmi->html, update style; add makefile