diff options
| author | David Thompson <davet@gnu.org> | 2015-06-02 20:58:37 -0400 |
|---|---|---|
| committer | David Thompson <davet@gnu.org> | 2015-06-02 20:58:37 -0400 |
| commit | a26d3ba357d286727df899b3df4442901c866e36 (patch) | |
| tree | f4dcb399ba1dbbef65f56906d466511e8dd7113c | |
| parent | de8a1818fd2eccf9aa7c3b1d43fd1b0b23cc9e0a (diff) | |
| download | guix-a26d3ba357d286727df899b3df4442901c866e36.tar guix-a26d3ba357d286727df899b3df4442901c866e36.tar.gz | |
Ignore man page build artifacts.
| -rw-r--r-- | .gitignore | 1 |
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 |