diff .hgignore @ 302:7b38729be069

Tweak mark-up to support coqdoc 8.3
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Jan 2011 15:12:30 -0500
parents b9e9ff52913c
children cf67b7d6ceac
line wrap: on
line diff
--- a/.hgignore	Mon Jan 17 11:42:09 2011 -0500
+++ b/.hgignore	Mon Jan 17 15:12:30 2011 -0500
@@ -25,3 +25,5 @@
 *.aux
 *.dvi
 *.log
+*.tex
+*.toc