diff options
| author | Pierre Boutillier | 2015-02-03 23:12:56 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2015-02-13 18:33:20 +0100 |
| commit | 997230709aed2b1d2f57f9ac8829991fa01e9b5c (patch) | |
| tree | 1860eeee3e07e74d4487d362ec389da8ac8db853 /Makefile.build | |
| parent | bb3c3713929ff8647004c18faaebcc311335cfa9 (diff) | |
Fixup version & copyright for MacOS bundle
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 0d87d98e96..c3936c1a7a 100644 --- a/Makefile.build +++ b/Makefile.build @@ -388,7 +388,7 @@ install-ide-info: $(COQIDEAPP)/Contents: rm -rdf $@ $(MKDIR) $@ - sed -e "s/VERSION/$(VERSION)/g" ide/MacOS/Info.plist.template > $@/Info.plist + sed -e "s/VERSION/$(VERSION4MACOS)/g" ide/MacOS/Info.plist.template > $@/Info.plist $(MKDIR) "$@/MacOS" $(COQIDEINAPP): ide/macos_prehook.cmx $(LINKIDEOPT) | $(COQIDEAPP)/Contents |