13 lines
427 B
Text
13 lines
427 B
Text
|
Index: Makefile.ide
|
||
|
|
--- Makefile.ide.orig
|
||
|
|
+++ Makefile.ide
|
||
|
|
@@ -187,7 +187,7 @@ endif
|
||
|
|
ifeq ($(HASCOQIDE),no)
|
||
|
|
install-coqide-byte: install-ide-toploop-byte
|
||
|
|
else
|
||
|
|
-install-coqide-byte: install-ide-toploop-byte install-ide-byte
|
||
|
|
+install-coqide-byte: install-ide-byte install-ide-bin install-ide-toploop-byte install-ide-files install-ide-info install-ide-devfiles
|
||
|
|
endif
|
||
|
|
|
||
|
|
# Apparently, coqide.byte is not meant to be installed
|