From cdd6e87e0a8df4b6af4a08353f260fb035af48fb Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Thu, 22 Jun 2017 16:33:13 +0200 Subject: 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. --- .gitignore | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to '.gitignore') 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 -- cgit v1.2.3