Mercurial > cpdt > repo

diff .hgignore @ 13:ea400f692b07

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge; make prose nicer
author Adam Chlipala <adamc@hcoop.net>
date Wed, 03 Sep 2008 13:45:59 -0400
parents f913d32a49e4
children 91e247c68ee8
line wrap: on
line diff
--- a/.hgignore	Wed Sep 03 13:30:05 2008 -0400
+++ b/.hgignore	Wed Sep 03 13:45:59 2008 -0400
@@ -4,12 +4,12 @@
 
 *.depend
 *.vo
-*/Makefile.coq
-*/.coq_globals
+Makefile.coq
+.coq_globals
 
 */coqdoc.sty
 */cpdt.*
 */*.log
 
-book/html/coqdoc.css
-book/html/*.html
+html/coqdoc.css
+html/*.html