Obsolete

diff --git a/doc/.gitignore b/doc/.gitignore
deleted file mode 100644 (file)
index 7c30997..0000000
--- a/doc/.gitignore
+++ /dev/null
@@ -1,12 +0,0 @@
-index.html
-index.odt
-index.pdf
-README.html
-README.odt
-README.pdf
-mkws-manual.html
-mkws-manual.odt
-mkws-manual.pdf
-mkws-developer.html
-mkws-developer.odt
-mkws-developer.pdf