From c455a1e3b0b20c7f2af1fd5c1e55709abe49fc30 Mon Sep 17 00:00:00 2001
From: Russell Bryant <rbryant@redhat.com>
Date: Thu, 1 Oct 2015 11:13:06 -0400
Subject: .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>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

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
-- 
cgit v1.2.1