summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Craven <david@craven.ch>2016-07-03 20:25:10 +0200
committerLudovic Courtès <ludo@gnu.org>2016-07-05 11:11:39 +0200
commit184497afecf86e8f2ea576a80df7b77c70751071 (patch)
tree81005f5d5cca9d72c75079e37506841a96820478 /.gitignore
parentb58cbf9ac507f58ef3031305ce8c13ea889de2d2 (diff)
build: Ignore texi2pdf temporary files.
* .gitignore: Modify. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 003412eeab3..6e892ca6875 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,6 +35,7 @@
35/doc/guix.ky 35/doc/guix.ky
36/doc/guix.pg 36/doc/guix.pg
37/doc/guix.toc 37/doc/guix.toc
38/doc/guix.t2p
38/doc/guix.tp 39/doc/guix.tp
39/doc/guix.vr 40/doc/guix.vr
40/doc/guix.vrs 41/doc/guix.vrs