diff options
Diffstat (limited to 'Makefile.build')
-rw-r--r-- | Makefile.build | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile.build b/Makefile.build index 8dcfbdd15..3df2f2155 100644 --- a/Makefile.build +++ b/Makefile.build @@ -340,6 +340,14 @@ install-ide-info: $(MKDIR) $(FULLIDELIB) $(INSTALLLIB) ide/FAQ $(FULLIDELIB) +# IM files + +IMFILES=$(addprefix ide/uim/, coqide.scm coqide-rules.scm coqide-custom.scm) + +install-im: + $(INSTALLLIB) $(IMFILES) $(UIMSCRIPTDIR) + uim-module-manager --register coqide + ########################################################################### # tests ########################################################################### |