summaryrefslogtreecommitdiff
path: root/src/FILES
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2007-07-04 12:49:01 +0000
committerbringert <bringert@cs.chalmers.se>2007-07-04 12:49:01 +0000
commit39de0bca42b440754233b339dfc0878e71cf99d3 (patch)
tree85562e7179aaa8327ee48f01bf0fc94475dac250 /src/FILES
parent0f8ef7432cbbcc0b6b81240acd8b8e3d941c20f3 (diff)
Build GF/Today.hs directly from Makefile. Include libdir.
Diffstat (limited to 'src/FILES')
-rw-r--r--src/FILES1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/FILES b/src/FILES
index 2701481ff..1311108b6 100644
--- a/src/FILES
+++ b/src/FILES
@@ -258,4 +258,3 @@ util/HelpFile source of ../HelpFile.hs
util/Htmls.hs utility for chopping a HTML document to slides
util/MkHelpFile.hs
util/WriteF.hs
-util/mktoday.sh [SHELL-SCRIPT] utility for producing Today.hs