doc-src/Codegen/Makefile
2009-05-06 haftmann 2009-05-06 adaptation replaces adaption
2009-04-07 wenzelm 2009-04-07 moved generated eps/pdf to main directory, for proper display in dvi;
2009-03-26 haftmann 2009-03-26 step towards proper pictures in dvi
2009-03-03 haftmann 2009-03-03 more canonical directory structure of manuals