log doc/Makefile

age author description
2008-11-27 Adam Chlipala Start of manual