diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/MkToday.hs | 15 | ||||
| -rw-r--r-- | src/tools/mktoday.sh | 2 |
2 files changed, 2 insertions, 15 deletions
diff --git a/src/tools/MkToday.hs b/src/tools/MkToday.hs deleted file mode 100644 index 1a15de2b5..000000000 --- a/src/tools/MkToday.hs +++ /dev/null @@ -1,15 +0,0 @@ -module Main where - -import System - -main :: IO () -main = do - system "date >foo.tmp" - d0 <- readFile "foo.tmp" - let d = head $ lines d0 - writeFile "Today.hs" $ mkToday d - system "rm foo.tmp" - return () - -mkToday d = "module Today where today = \"" ++ d ++ "\"\n" - diff --git a/src/tools/mktoday.sh b/src/tools/mktoday.sh new file mode 100644 index 000000000..2e13c5020 --- /dev/null +++ b/src/tools/mktoday.sh @@ -0,0 +1,2 @@ +#!/bin/sh +echo 'module Today where today = "'`date`'"' > Today.hs |
