I would like to use the date of the document in the generated PDF. (It is
not interesting when the PDF is generated, but when the source was last
changed.) How would I do this?

-- 
Cecil Westerhof