diff .hgignore @ 310:cf67b7d6ceac

Fix .hgignore and check in .bib
author Adam Chlipala <adam@chlipala.net>
date Mon, 29 Aug 2011 09:47:39 -0400
parents 7b38729be069
children 4cb3ba8604bc
line wrap: on
line diff
--- a/.hgignore	Thu Aug 25 15:22:20 2011 -0400
+++ b/.hgignore	Mon Aug 29 09:47:39 2011 -0400
@@ -8,7 +8,6 @@
 .coq_globals
 
 */coqdoc.sty
-*/cpdt.*
 */*.log
 
 html/coqdoc.css
@@ -27,3 +26,10 @@
 *.log
 *.tex
 *.toc
+*.bbl
+*.blg
+*.idx
+*.ilg
+*.pdf
+*.ind
+*.out