Some documentation hacks

2013-09-16 11:51:10 +02:00
parent 3174484ff4
commit 86813e61e5
5 changed files with 45 additions and 2 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -93,7 +93,7 @@ src/gswetest
 /docs/reference/*/*-decl.txt
 /docs/reference/*/*-overrides.txt
 /docs/reference/*/*-undeclared.txt
-/docs/reference/*/*-docs.xml
+/docs/reference/*/version.xml
 /docs/reference/*/*-sections.txt
 /docs/reference/*/*-undocumented.txt
 /docs/reference/*/*-unused.txt