Oliver Kopp d8a56ffdce Ignore .pdf ...

On Windows, when PDF is opened with Acrobat Reader, one gets following output:

    ! I can't write on file `document.pdf'.
    Please type another file name for output:

If one simply presses "Enter" to continue, the file `.pdf` is generated. Since this is a common case and `.pdf` is never used as full file name, this file should be ignored, too.

2016-07-10 14:35:30 +02:00

1.8 KiB

Raw Blame History

View Raw