summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Jakma <paul.jakma@sun.com>2006-02-19 17:45:56 +0000
committerPaul Jakma <paul@quagga.net>2008-08-22 19:49:34 +0100
commit7a842a7bc46dd9ce368e4a6aff479861d0e68de2 (patch)
tree63d4885566f6567849dabcf500b80a69addf33e7
parent3c5a0a4f8fe3811affff6d5e123379eedb083571 (diff)
[git administrivia] remove auto-built quagga.info, add to gitignore.
-rw-r--r--doc/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index 5c3c752a..43987b24 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -7,6 +7,7 @@ zebra.html
defines.texi
version.texi
quagga.html
+quagga.info
*.pdf
*.eps
quagga.ps