# HG changeset patch
# User David A. Holland
# Date 1346695014 14400
# Node ID 824c60f0d7b297d626c252da22ea240af224d4bc
# Parent  c4ee36b629c0443e53e8aba17d6f93dfe943d87d
hgignore for the docs

diff -r c4ee36b629c0 -r 824c60f0d7b2 .hgignore
--- a/.hgignore	Mon Sep 03 13:55:42 2012 -0400
+++ b/.hgignore	Mon Sep 03 13:56:54 2012 -0400
@@ -2,6 +2,9 @@
 ^config\.mk$
 ^config\.sed$
 
+^doc/.*\.aux$
+^doc/.*\.log$
+
 ^cgitools/fetch/fetch\.cgi$
 ^cgitools/search/search\.cgi$
 ^cgitools/submit/submit\.cgi$