summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRussell Bryant <rbryant@redhat.com>2015-10-01 11:13:06 -0400
committerBen Pfaff <blp@nicira.com>2015-10-01 08:55:26 -0700
commitc455a1e3b0b20c7f2af1fd5c1e55709abe49fc30 (patch)
tree0b5af66c48cf68bbdc9cda4e811b774cbebcbd40 /.gitignore
parent6e6271d2f56f3940cc06930054bba86a47859bcc (diff)
downloadopenvswitch-c455a1e3b0b20c7f2af1fd5c1e55709abe49fc30.tar.gz
.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>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index c96ceed05..71bb21bb7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -49,6 +49,7 @@
/configure-stamp
/depcomp
/distfiles
+/dist-docs
/install-sh
/libtool
/manpage-check