From cd3f267daa39712b705d08aae3dc59cd38623f26 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Wed, 23 Jun 2004 09:44:27 +0000
Subject: Fixed script to only include .gf files. Updated generated script.

---
 examples/numerals/MkScript.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'examples/numerals/MkScript.hs')

diff --git a/examples/numerals/MkScript.hs b/examples/numerals/MkScript.hs
index 6a514d6b3..0b0890b5d 100644
--- a/examples/numerals/MkScript.hs
+++ b/examples/numerals/MkScript.hs
@@ -14,7 +14,7 @@ excluded = ["numerals.Abs.gf"]
 
 main :: IO ()
 main = do
-  system "ls >files"
+  system "ls *.gf >files"
   s <- readFile "files"
   writeFile scriptFile $ unlines $ map mkOne $ 
                          filter (flip notElem excluded) $ lines s
-- 
cgit v1.2.3