diff options
author | 2011-06-17 16:22:59 +0000 | |
---|---|---|
committer | 2011-06-17 16:22:59 +0000 | |
commit | bd9a6e6212dec6b5753e953521072ba3282366e8 (patch) | |
tree | dd4e1c10d3af5550e42c048765fa73c79266f665 | |
parent | ef21e5edea48003aa21a4c0bebb69e0b263a674d (diff) |
Customized accelerator maps for macos are globally installed (end to fix 2462)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14214 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index 905c83981..91d73ae25 100644 --- a/Makefile.build +++ b/Makefile.build @@ -346,7 +346,7 @@ install-ide-opt: install-ide-files: $(MKDIR) $(FULLIDELIB) $(INSTALLLIB) $(IDEFILES) $(FULLIDELIB) - if [ $(IDEOPTINT) = QUARTZ ] ; then $(INSTALLLIB) ide/mac_default_accel_map ide/default_accel_map ; fi + if [ $(IDEOPTINT) = QUARTZ ] ; then $(INSTALLLIB) ide/mac_default_accel_map $(FULLIDELIB)/default_accel_map ; fi install-ide-info: $(MKDIR) $(FULLIDELIB) |