From 5b19743fd2ad47af6abb9aa72de9bb9953100d46 Mon Sep 17 00:00:00 2001
From: swa <swa@users.sourceforge.net>
Date: Thu, 7 Mar 2002 19:12:02 +0000
Subject: [PATCH] directories are generated.

---
 doc/source/.gitignore | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 doc/source/.gitignore

diff --git a/doc/source/.gitignore b/doc/source/.gitignore
new file mode 100644
index 00000000..1d6ab88c
--- /dev/null
+++ b/doc/source/.gitignore
@@ -0,0 +1,3 @@
+developer-manual
+faq
+user-manual
-- 
2.39.2