docs: docinfo.xml is now auto-generated

echeverrifm · Oct 21, 2014 · f5ad881 · f5ad881
1 parent e804fd3
commit f5ad881
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/.gitignore b/docs/.gitignore
@@ -4,3 +4,4 @@
 /docbook-xsl.css
 /ups-html.txt
 /user-manual.xml
+/docinfo.xml