From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 23 Jun 2007 19:34:56 +0000 (+0000)
Subject: Ignore dotfiles in running a whole directory
X-Git-Tag: release_2010-11-19~189
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/0c85f25e773621daeb1b4ecff989dfbb602a8918?ds=sidebyside

Ignore dotfiles in running a whole directory
---

diff --git a/src/main.sml b/src/main.sml
index 164297f..f3bedc2 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -92,7 +92,9 @@ fun check fname =
 	    end
     end
 
-val notTmp = CharVector.all (fn ch => Char.isAlphaNum ch orelse ch = #"." orelse ch = #"_" orelse ch = #"-")
+fun notTmp s =
+    String.sub (s, 0) <> #"."
+    andalso CharVector.all (fn ch => Char.isAlphaNum ch orelse ch = #"." orelse ch = #"_" orelse ch = #"-") s
 
 fun checkDir dname =
     let