diff options
| author | David Paleino <dapal@debian.org> | 2009-11-22 08:30:16 +0100 |
|---|---|---|
| committer | David Paleino <dapal@debian.org> | 2009-11-22 08:30:16 +0100 |
| commit | 14e373d3f14c9fe1946dc4ab5de3689e009de670 (patch) | |
| tree | 4d8c41fb288bba3311913f02ec62396e662a8c45 /.gitignore | |
| parent | 9a8fb49fe4f2e624ad7892439708836496318d6f (diff) | |
| download | bash-completion-14e373d3f14c9fe1946dc4ab5de3689e009de670.tar.gz | |
Remove generated HTML documentation, add it to gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -10,3 +10,5 @@ configure install-sh missing doc/*.xml +*~ +doc/html* |