diff options
author | Oliver Kopp <kopp.dev@gmail.com> | 2016-07-10 14:35:30 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-10 14:35:30 +0200 |
commit | d8a56ffdced3305cb28343d973d1d474a8544a9c (patch) | |
tree | 10b527d119ebd7d79f98ff0f204ffc9d9a4415b5 | |
parent | c0de8bc140e3079c93f2970be853d310602a5ddb (diff) | |
download | gitignore-d8a56ffdced3305cb28343d973d1d474a8544a9c.tar.gz gitignore-d8a56ffdced3305cb28343d973d1d474a8544a9c.zip |
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.
-rw-r--r-- | TeX.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/TeX.gitignore b/TeX.gitignore index 3cb097c9..b7aa423b 100644 --- a/TeX.gitignore +++ b/TeX.gitignore @@ -19,6 +19,9 @@ # *.eps # *.pdf +## Generated if empty string is given at "Please type another file name for output:" +.pdf + ## Bibliography auxiliary files (bibtex/biblatex/biber): *.bbl *.bcf |