Eike Kettner 5679ac4858 Remove references to pdf in the doc
It's not only for pdf files anymore.
2020-05-27 00:44:04 +02:00
..
2020-05-27 00:44:04 +02:00