diff options
| author | Tomas Volf <~@wolfsden.cz> | 2025-02-23 21:53:31 +0100 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2025-02-24 22:19:32 -0500 |
| commit | c1cab99ff8fb6f67e815ab9a6bd25768ac2c77cf (patch) | |
| tree | f267229f7615dc3803787ecfd89a5d9a173835a5 /.gitignore | |
| parent | 68cd38756b51d4abd8c796a5bcbbb9ea053eafde (diff) | |
.gitignore: Ignore more generated .info files.
Building Guix now creates 'doc/guix.de.info-10', so we have to adjust the ignore
pattern to match numbers with more than a single digit.
* .gitignore: Ignore /doc/guix*.info-[0-9][0-9]. Add a newline at the end of
file.
Change-Id: I42f8eb6fc24e4fdc1121e7b0927bda5fb3e2e151
Signed-off-by: Leo Famulari <leo@famulari.name>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 0f74b5da3d0..cdb3869de04 100644 --- a/.gitignore +++ b/.gitignore | |||
| @@ -38,6 +38,7 @@ | |||
| 38 | /doc/guix*.html | 38 | /doc/guix*.html |
| 39 | /doc/guix*.info | 39 | /doc/guix*.info |
| 40 | /doc/guix*.info-[0-9] | 40 | /doc/guix*.info-[0-9] |
| 41 | /doc/guix*.info-[0-9][0-9] | ||
| 41 | /doc/guix*.ky | 42 | /doc/guix*.ky |
| 42 | /doc/guix*.pg | 43 | /doc/guix*.pg |
| 43 | /doc/guix*.toc | 44 | /doc/guix*.toc |
| @@ -158,4 +159,4 @@ tmp | |||
| 158 | /gnu/packages/aux-files/guile-guile-launcher.o | 159 | /gnu/packages/aux-files/guile-guile-launcher.o |
| 159 | /guile | 160 | /guile |
| 160 | .DS_Store | 161 | .DS_Store |
| 161 | .mumi/current-issue \ No newline at end of file | 162 | .mumi/current-issue |