$OpenBSD: patch-Makefile,v 1.5 2012/07/18 08:04:43 sthen Exp $
--- Makefile.orig	Sun Mar 11 22:52:49 2012
+++ Makefile	Wed Mar 14 23:37:53 2012
@@ -355,7 +355,7 @@ install-man:
 	mkdir -p $(DESTDIR)$(MANDIR)/man1
 	mkdir -p $(DESTDIR)$(MANDIR)/man3
 	$(INSTALL_DATA) docs/spatch.1 $(DESTDIR)$(MANDIR)/man1/
-	$(INSTALL_DATA) docs/Coccilib.3cocci $(DESTDIR)$(MANDIR)/man3/
+	$(INSTALL_DATA) docs/Coccilib.3cocci $(DESTDIR)$(MANDIR)/man3/Coccilib.3
 
 install-bash:
 	mkdir -p $(DESTDIR)$(BASH_COMPLETION_DIR)
