From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:54:35 +0000 Subject: changed names of resource-1.3; added a note on homepage on release --- examples/numerals/MkScript.hs | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 examples/numerals/MkScript.hs (limited to 'examples/numerals/MkScript.hs') diff --git a/examples/numerals/MkScript.hs b/examples/numerals/MkScript.hs deleted file mode 100644 index 0b0890b5d..000000000 --- a/examples/numerals/MkScript.hs +++ /dev/null @@ -1,27 +0,0 @@ -module Main where - -import System - --- to create a gfs script that builds a gfcm file. AR 29/1/2004 --- reads old GF - --- change these to your needs - -scriptFile = "mkNumerals.gfs" -multiFile = "numerals.gfcm" -absModule = "Numerals" -excluded = ["numerals.Abs.gf"] - -main :: IO () -main = do - system "ls *.gf >files" - s <- readFile "files" - writeFile scriptFile $ unlines $ map mkOne $ - filter (flip notElem excluded) $ lines s - appendFile scriptFile "s\n" - appendFile scriptFile $ "pm | wf " ++ multiFile - -mkOne file = "i -old -abs=" ++ absModule ++ " -cnc=" ++ lang ++ " " ++ file - where - lang = takeWhile (/= '.') file - -- cgit v1.2.3