diff options
| author | Tomas Volf <[email protected]> | 2025-02-23 21:53:31 +0100 |
|---|---|---|
| committer | Leo Famulari <[email protected]> | 2025-02-24 22:19:32 -0500 |
| commit | c1cab99ff8fb6f67e815ab9a6bd25768ac2c77cf (patch) | |
| tree | f267229f7615dc3803787ecfd89a5d9a173835a5 | |
| 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 <[email protected]>
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 0f74b5da3d..cdb3869de0 100644 --- a/.gitignore +++ b/.gitignore @@ -38,6 +38,7 @@ /doc/guix*.html /doc/guix*.info /doc/guix*.info-[0-9] +/doc/guix*.info-[0-9][0-9] /doc/guix*.ky /doc/guix*.pg /doc/guix*.toc @@ -158,4 +159,4 @@ tmp /gnu/packages/aux-files/guile-guile-launcher.o /guile .DS_Store -.mumi/current-issue
\ No newline at end of file +.mumi/current-issue |