Improvements to file endings
Added a script to convert AutoDoc examples

into fancy verbatim
Improved makefile.