diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 9e3681cc4..c12de6d0f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -222,7 +222,7 @@ grammar-dist: -rm -rf $(GRAMMAR_DIST_DIR) mkdir $(GRAMMAR_DIST_DIR) cp -r ../_darcs/current/{lib,examples} $(GRAMMAR_DIST_DIR) - $(MAKE) -C $(GRAMMAR_DIST_DIR)/lib/resource-1.0 present mathematical multimodal langs + $(MAKE) GF_LIB_PATH=.. -C $(GRAMMAR_DIST_DIR)/lib/resource-1.0 show-path present mathematical multimodal langs $(TAR) -zcf $(GRAMMAR_DIST_DIR).tgz $(GRAMMAR_DIST_DIR) rm -rf $(GRAMMAR_DIST_DIR) |