ignore temp dir

diff --git a/doc/source/.gitignore b/doc/source/.gitignore
index 29fa232..7683928 100644 (file)
--- a/doc/source/.gitignore
+++ b/doc/source/.gitignore
@@ -2,3 +2,4 @@ developer-manual
 faq
 ldpOK.dsl
 user-manual
+temp
\ No newline at end of file