From 8a7eecfa71e850e479822d879e3263c9ce5f2ede Mon Sep 17 00:00:00 2001
From: Hendrik Tews <hendrik@askra.de>
Date: Wed, 26 Oct 2016 10:00:25 +0200
Subject: gitignore for doc subdir

---
 doc/.cvsignore | 47 -----------------------------------------------
 doc/.gitignore | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 47 insertions(+), 47 deletions(-)
 delete mode 100644 doc/.cvsignore
 create mode 100644 doc/.gitignore

(limited to 'doc')

diff --git a/doc/.cvsignore b/doc/.cvsignore
deleted file mode 100644
index 1e54881b..00000000
--- a/doc/.cvsignore
+++ /dev/null
@@ -1,47 +0,0 @@
-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
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
-- 
cgit v1.2.3