$OpenBSD: patch-Makefile_ide,v 1.2 2019/09/06 22:10:18 chrisz Exp $

Index: Makefile.ide
--- Makefile.ide.orig
+++ Makefile.ide
@@ -190,7 +190,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
