diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-07-04 12:49:01 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-07-04 12:49:01 +0000 |
| commit | 39de0bca42b440754233b339dfc0878e71cf99d3 (patch) | |
| tree | 85562e7179aaa8327ee48f01bf0fc94475dac250 /src/tools | |
| parent | 0f8ef7432cbbcc0b6b81240acd8b8e3d941c20f3 (diff) | |
Build GF/Today.hs directly from Makefile. Include libdir.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/mktoday.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/tools/mktoday.sh b/src/tools/mktoday.sh deleted file mode 100644 index 1865fd4d1..000000000 --- a/src/tools/mktoday.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -echo 'module GF.Today (today,version) where' > GF/Today.hs -echo '{-# NOINLINE today #-}' >> GF/Today.hs -echo 'today,version :: String' >> GF/Today.hs -echo 'today = "'`date`'"' >> GF/Today.hs -echo 'version = "'$1'"' >> GF/Today.hs - |