diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2016-10-26 10:00:25 +0200 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2016-10-27 09:26:40 +0200 |
| commit | 8a7eecfa71e850e479822d879e3263c9ce5f2ede (patch) | |
| tree | c54419aa3d67bb0dff0e0dcca8ac1c7ebccafa1e /doc/.gitignore | |
| parent | cda28bfda3154c9040ec11abea1021755992e36a (diff) | |
gitignore for doc subdir
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 00000000..1e54881b --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,47 @@ +ProofGeneral.log +ProofGeneral.dvi +ProofGeneral.ps +ProofGeneral.pdf +ProofGeneral.ps.gz +ProofGeneral.kys +ProofGeneral.aux +ProofGeneral.cp +ProofGeneral.fn +ProofGeneral.vr +ProofGeneral.tp +ProofGeneral.ky +ProofGeneral.pg +ProofGeneral.toc +ProofGeneral.info +ProofGeneral.cps +ProofGeneral.fns +ProofGeneral.vrs +ProofGeneral.info-* +ProofGeneral.txt +ProofGeneral +PG-adapting +PG-adapting.log +PG-adapting.dvi +PG-adapting.ps +PG-adapting.pdf +PG-adapting.ps.gz +PG-adapting.kys +PG-adapting.aux +PG-adapting.cp +PG-adapting.fn +PG-adapting.vr +PG-adapting.tp +PG-adapting.ky +PG-adapting.pg +PG-adapting.toc +PG-adapting.info +PG-adapting.cps +PG-adapting.fns +PG-adapting.vrs +PG-adapting.info-* +PG-adapting.txt +PG-adapting_*.html +PG-adapting_toc.html +PG-adapting_foot.html +ProofGeneralPortrait.eps +ProofGeneralPortrait.pdf |