diff .hgignore @ 1493:9cb923efea4d

Generated pretty-printed HTML for a simple tutorial source file
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Jul 2011 16:50:55 -0400
parents 052af2b82533
children 1ced338f691a
line wrap: on
line diff
--- a/.hgignore	Fri Jul 15 10:17:15 2011 -0400
+++ b/.hgignore	Fri Jul 15 16:50:55 2011 -0400
@@ -33,6 +33,8 @@
 demo/more/out/*.html
 demo/more/demo.*
 
+doc/*.html
+
 *.sql
 *mlmon.out