summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Thompson <davet@gnu.org>2015-06-02 20:58:37 -0400
committerDavid Thompson <davet@gnu.org>2015-06-02 20:58:37 -0400
commita26d3ba357d286727df899b3df4442901c866e36 (patch)
treef4dcb399ba1dbbef65f56906d466511e8dd7113c /.gitignore
parentde8a1818fd2eccf9aa7c3b1d43fd1b0b23cc9e0a (diff)
downloadpatches-a26d3ba357d286727df899b3df4442901c866e36.tar
patches-a26d3ba357d286727df899b3df4442901c866e36.tar.gz
Ignore man page build artifacts.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 7db4a9f9aa..a0f19d7612 100644
--- a/.gitignore
+++ b/.gitignore
@@ -115,3 +115,4 @@ GTAGS
/emacs/guix-profiles.el
/doc/os-config-bare-bones.texi
/doc/os-config-desktop.texi
+/doc/*.1