diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/mktoday.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/tools/mktoday.sh b/src/tools/mktoday.sh index 0f5e6a145..8f13f61d9 100644 --- a/src/tools/mktoday.sh +++ b/src/tools/mktoday.sh @@ -1,6 +1,7 @@ #!/bin/sh -echo 'module GF.Today (today) where' > GF/Today.hs -echo 'today :: String' >> GF/Today.hs +echo 'module GF.Today (today,version) where' > GF/Today.hs +echo 'today,version :: String' >> GF/Today.hs echo 'today = "'`date`'"' >> GF/Today.hs +echo 'version = "'$1'"' >> GF/Today.hs |