Cleaned up doc/manualgen.py