From: Yann Dirson <ydirson@free.fr>
Date: Thu, 5 Dec 2013 22:23:19 +0000 (+0100)
Subject: Update .gitignore for doc/ dir.
X-Git-Url: http://winboard.nl/cgi-bin?p=gnushogi.git;a=commitdiff_plain;h=f0f49ca1e9c2988e14ed7ea56e4d9a7666089691

Update .gitignore for doc/ dir.
---

diff --git a/.gitignore b/.gitignore
index 046ccbc..eddd488 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@
 /Makefile
 /gnushogi/Makefile
 /gnushogi/Makefile.profile
+/doc/Makefile
 /xshogi/Makefile
 
 *.o
@@ -23,7 +24,7 @@
 /xshogi/xshogi
 
 /doc/gnushogi*.info
-/doc/gnushogi*.html
+/doc/gnushogi/
 /doc/*.ps
 /doc/*.pdf
 /doc/*.aux