Add user manual source

[ric-plt/lib/rmr.git] / doc / src / library / .gitignore

diff --git a/doc/src/library/.gitignore b/doc/src/library/.gitignore
new file mode 100644 (file)
index 0000000..28155e7
--- /dev/null
+++ b/doc/src/library/.gitignore
@@ -0,0 +1,9 @@
+*.ca
+*.bncfile
+*.ecnfile
+*.ps
+*.pdf
+*.txt
+*.rst
+*.md
+*.toc