diff options
| -rw-r--r-- | .gitignore | 1 |
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 |