summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-07-08 17:25:03 +0000
committeraarne <aarne@cs.chalmers.se>2007-07-08 17:25:03 +0000
commit26fba297463fea26946da894004ad7dce0e8a9dc (patch)
treeefa497f6fcd9764cf0a204fd44ad1f1f8396e6a3 /src
parent8452026f581ca59cfe0c3c38dcf38fdd73e282de (diff)
those links to tutorial... make grammar-dist
Diffstat (limited to 'src')
-rw-r--r--src/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile
index ddab0dd43..e59eb2c28 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -253,7 +253,7 @@ grammar-dist:
-rm -rf $(GRAMMAR_DIST_DIR)
mkdir $(GRAMMAR_DIST_DIR)
cp -r ../_darcs/current/{lib,examples} $(GRAMMAR_DIST_DIR)
- $(MAKE) GF_LIB_PATH=.. -C $(GRAMMAR_DIST_DIR)/lib/resource-1.0 show-path present mathematical multimodal langs
+ $(MAKE) GF_LIB_PATH=.. -C $(GRAMMAR_DIST_DIR)/lib/resource-1.0 show-path prelude present alltenses mathematical api multimodal langs
$(TAR) -zcf $(GRAMMAR_DIST_DIR).tgz $(GRAMMAR_DIST_DIR)
rm -rf $(GRAMMAR_DIST_DIR)