diff .hgignore @ 380:758304561b60

Demo HTML generation, minus source code
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 14:05:00 -0400
parents 168667cdaa95
children 2a7e7bd7b29f
line wrap: on
line diff
--- a/.hgignore	Sun Oct 19 12:50:49 2008 -0400
+++ b/.hgignore	Sun Oct 19 14:05:00 2008 -0400
@@ -21,3 +21,5 @@
 *.cache
 *.log
 *.status
+
+demo/out/*.html