diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
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) |