generated file

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