Andreas Jaeger e974da0a35 Add link to PDF file ... Create new config options to optionally link to a generate PDF file that is published at the same location as the html files. Note that the preview will not be able to download the file since the file is in a different location. The publishing job moves the PDF file in the top-level directory. Change-Id: I3ff74030195b6a85ff4e4e3b62f367aa78f85b0a		2020-05-18 14:58:31 +02:00
..
notes	Add link to PDF file	2020-05-18 14:58:31 +02:00
source	Do not set html_last_updated_fmt	2020-02-22 17:35:46 +01:00