diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-05-18 18:26:51 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-05-18 18:27:01 +0200 |
| commit | 5e581c86e128f1c761ccee929aa56d4bb1299925 (patch) | |
| tree | 4e36ee6e862eed3dac1b74b22095c26661e815c9 /.gitignore | |
| parent | 4286f067ae489e20563caaf19d2aa7de54e8c3ef (diff) | |
update .gitignore to exclude generated manual files
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9775c5401..806799393 100644 --- a/.gitignore +++ b/.gitignore @@ -69,3 +69,17 @@ doc/paper/taler.bbl doc/paper/taler.blg doc/paper/postquantum.bbl doc/paper/postquantum.blg +doc/manual/manual.aux +doc/manual/manual.cp +doc/manual/manual.cps +doc/manual/manual.fn +doc/manual/manual.html +doc/manual/manual.info +doc/manual/manual.ky +doc/manual/manual.log +doc/manual/manual.op +doc/manual/manual.pdf +doc/manual/manual.pg +doc/manual/manual.toc +doc/manual/manual.tp +doc/manual/manual.vr |