.gitignore: Add dist-docs.

Running "make dist-docs" to generate docs creates a "dist-docs"
directory that should be ignored by git.

Signed-off-by: Russell Bryant <rbryant@redhat.com>
Signed-off-by: Ben Pfaff <blp@nicira.com>

diff --git a/.gitignore b/.gitignore
index c96ceed..71bb21b 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -49,6 +49,7 @@
 /configure-stamp
 /depcomp
 /distfiles
+/dist-docs
 /install-sh
 /libtool
 /manpage-check