aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2017-06-22 16:33:13 +0200
committerGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2017-06-22 16:34:09 +0200
commitcdd6e87e0a8df4b6af4a08353f260fb035af48fb (patch)
tree051d662134dff2b33f3a4d8ace31387651e511ee
parentd30ed5fe0694466f70eed51bc689cd0fa8c00da5 (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.
-rw-r--r--.gitignore9
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