diff options
| author | bringert <unknown> | 2004-06-23 09:44:27 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-23 09:44:27 +0000 |
| commit | cd3f267daa39712b705d08aae3dc59cd38623f26 (patch) | |
| tree | b3a94e4696b6549af2c57766544ab8b5a7ab55a3 /examples/numerals/MkScript.hs | |
| parent | 0f9070bf3ab4d1b7d63d8a97e95ce2537c19fc81 (diff) | |
Fixed script to only include .gf files. Updated generated script.
Diffstat (limited to 'examples/numerals/MkScript.hs')
| -rw-r--r-- | examples/numerals/MkScript.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |