diff options
author | Gary V. Vaughan <gary@gnu.org> | 2010-09-08 14:49:32 +0700 |
---|---|---|
committer | Gary V. Vaughan <gary@gnu.org> | 2011-10-22 18:36:16 +0700 |
commit | 933f614f6c811eab79c1428969df1c381dec51b0 (patch) | |
tree | 1b65d6938b80d734fa2e8d878b818658739bd3f5 /doc | |
parent | f93b09fa58a8617c105fbe901ccd0650983d180b (diff) | |
download | libtool-933f614f6c811eab79c1428969df1c381dec51b0.tar.gz |
maint: tidy, sort and consolidate .gitignore files.
The `gnulib-tool' and gnulib `bootstrap' scripts maintain
`.gitignore' files in asciibetical order, so reorder them now
to avoid spurious patches later.
Take advantage of putting recursive file ignore matches into
`$top_srcdir/.gitignore' and remove repetitions from other
`.gitignore' files.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/.gitignore | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 5d0e8528..fadf7be8 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,9 +1,5 @@ -stamp-vti -version.texi -notes.txt -*.dvi -*.info* -*.html -*.ps -*.pdf -*.1 +/*.1 +/*.html +/gendocs_template +/notes.txt +/version.texi |