directories are generated.
authorswa <swa@users.sourceforge.net>
Thu, 7 Mar 2002 19:12:02 +0000 (19:12 +0000)
committerswa <swa@users.sourceforge.net>
Thu, 7 Mar 2002 19:12:02 +0000 (19:12 +0000)
doc/source/.gitignore [new file with mode: 0644]

diff --git a/doc/source/.gitignore b/doc/source/.gitignore
new file mode 100644 (file)
index 0000000..1d6ab88
--- /dev/null
@@ -0,0 +1,3 @@
+developer-manual
+faq
+user-manual