diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 728d9ba29..9e3681cc4 100644 --- a/src/Makefile +++ b/src/Makefile @@ -18,7 +18,8 @@ NOT_IN_DIST= \ BIN_DIST_DIR=$(DIST_DIR)-$(host) -GRAMMAR_DIST_DIR=GF-grammars-$(PACKAGE_VERSION) +GRAMMAR_PACKAGE_VERSION=$(shell date +%Y%m%d) +GRAMMAR_DIST_DIR=gf-grammars-$(GRAMMAR_PACKAGE_VERSION) MSI_FILE=gf-$(subst .,_,$(PACKAGE_VERSION)).msi @@ -221,6 +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 $(TAR) -zcf $(GRAMMAR_DIST_DIR).tgz $(GRAMMAR_DIST_DIR) rm -rf $(GRAMMAR_DIST_DIR) |