diff -r fd09fe5d6f21 -r ead02cbb7b10 .hgignore
--- a/.hgignore	Thu Jan 30 19:20:56 2014 +0100
+++ b/.hgignore	Thu Jan 30 20:18:28 2014 +0100
@@ -29,6 +29,7 @@
 
 # versioned generated files
 docs/procomexsum-1.0.txt
+docs/procompropos-1.0.txt
 
 syntax: regexp
 .*\#.*\#$