summaryrefslogtreecommitdiff
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
parentb58cbf9ac507f58ef3031305ce8c13ea889de2d2 (diff)
build: Ignore texi2pdf temporary files.
* .gitignore: Modify. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 003412eeab..6e892ca687 100644
--- a/.gitignore
+++ b/.gitignore
@@ -35,6 +35,7 @@
/doc/guix.ky
/doc/guix.pg
/doc/guix.toc
+/doc/guix.t2p
/doc/guix.tp
/doc/guix.vr
/doc/guix.vrs