Ignore files from manual.pdf generation

diff --git a/.hgignore b/.hgignore
index 8b05509bd52d18dbb11cc0f3b0d197649b02914f..8762e7c70c44da00bb025d0f969139a10e032c88 100644 (file)
--- a/.hgignore
+++ b/.hgignore
@@ -32,7 +32,7 @@
 ^smime_keys$
 ^stamp-doc-rc$
 ^doc/instdoc$
-^doc/manual\.(txt|xml)$
+^doc/manual\.(txt|xml|aux|log|out|tex|pdf)$
 ^doc/mutt\.1$
 ^doc/muttrc\.man$
 ^doc/.*\.html$