src/Doc/prepare_document
2013-09-10 wenzelm more portable hash-bang;
2012-08-28 wenzelm renamed doc-src to src/Doc;
less more (0) tip