diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-06-22 16:33:13 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-06-22 16:34:09 +0200 |
| commit | cdd6e87e0a8df4b6af4a08353f260fb035af48fb (patch) | |
| tree | 051d662134dff2b33f3a4d8ace31387651e511ee /.gitignore | |
| parent | d30ed5fe0694466f70eed51bc689cd0fa8c00da5 (diff) | |
Ignore all PDF files.
Rules for ignoring *some* PDF files had been added one by one to `.gitignore`
but some were still missing (for the corresponding latex files in `dev`).
This rule is actually better since we are not tracking any PDF file.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/.gitignore b/.gitignore index 58e1d346c..acb1100bc 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,7 @@ *.log *.aux *.dvi +*.pdf *.blg *.bbl *.idx @@ -33,7 +34,6 @@ *.tacidx *.tacind *.v.tex -*.v.pdf *.v.ps *.v.html *.stamp @@ -71,7 +71,6 @@ test-suite/coq-makefile/*/theories2 test-suite/coq-makefile/*/html test-suite/coq-makefile/*/mlihtml test-suite/coq-makefile/*/subdir/done -test-suite/coq-makefile/latex1/all.pdf test-suite/coq-makefile/merlin1/.merlin test-suite/coq-makefile/plugin-reach-outside-API-and-fail/_CoqProject test-suite/coq-makefile/plugin-reach-outside-API-and-succeed-by-bypassing-the-API/_CoqProject @@ -82,12 +81,10 @@ doc/common/version.tex doc/faq/html/ doc/faq/axioms.eps doc/faq/axioms.eps_t -doc/faq/axioms.pdf doc/faq/axioms.pdf_t doc/faq/axioms.png doc/refman/.csdp.cache doc/refman/trace -doc/refman/Reference-Manual.pdf doc/refman/Reference-Manual.ps doc/refman/Reference-Manual.html doc/refman/Reference-Manual.out @@ -102,19 +99,15 @@ doc/refman/heapsort.ml doc/refman/heapsort.mli doc/refman/html/ doc/stdlib/Library.out -doc/stdlib/Library.pdf doc/stdlib/Library.ps doc/stdlib/Library.coqdoc.tex -doc/stdlib/FullLibrary.pdf doc/stdlib/FullLibrary.ps doc/stdlib/FullLibrary.coqdoc.tex doc/stdlib/html/ doc/stdlib/index-body.html doc/stdlib/index-list.html doc/RecTutorial/RecTutorial.html -doc/RecTutorial/RecTutorial.pdf doc/RecTutorial/RecTutorial.ps -dev/doc/naming-conventions.pdf dev/ocamldoc/*.html dev/ocamldoc/*.css |