$OpenBSD: patch-Makefile_ide,v 1.3 2020/07/16 02:50:08 daniel Exp $

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
