From d9d46492cb9a913591a8817a4d63aa95210a3294 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 8 Jan 2015 21:04:03 +0100
Subject: [PATCH] more files to ignore

---
 doc/.gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/.gitignore b/doc/.gitignore
index 54efaa516..f71e7269f 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -10,4 +10,4 @@ stamp
 dot
 org-stamp
 doxygen_sqlite3.db
-/userdoc/syntax.css
+/userdoc/