From 0c85f25e773621daeb1b4ecff989dfbb602a8918 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 23 Jun 2007 19:34:56 +0000
Subject: [PATCH] Ignore dotfiles in running a whole directory

---
 src/main.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
2.20.1