.gitignore: Add dist-docs.
authorRussell Bryant <rbryant@redhat.com>
Thu, 1 Oct 2015 15:13:06 +0000 (11:13 -0400)
committerBen Pfaff <blp@nicira.com>
Thu, 1 Oct 2015 15:55:26 +0000 (08:55 -0700)
commitc455a1e3b0b20c7f2af1fd5c1e55709abe49fc30
tree0b5af66c48cf68bbdc9cda4e811b774cbebcbd40
parent6e6271d2f56f3940cc06930054bba86a47859bcc
.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