mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2026-04-06 21:20:33 +02:00
.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>
This commit is contained in:
3
.gitignore
vendored
3
.gitignore
vendored
@@ -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
|
||||
.mumi/current-issue
|
||||
|
||||
Reference in New Issue
Block a user