build: fix "make install" with documentation disabled
authorMans Rullgard <mans@mansr.com>
Sat, 11 Jun 2011 18:54:23 +0000 (19:54 +0100)
committerMans Rullgard <mans@mansr.com>
Sat, 11 Jun 2011 19:35:53 +0000 (20:35 +0100)
Signed-off-by: Mans Rullgard <mans@mansr.com>
Makefile

index 7c7cdaf..0df8a11 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -129,6 +129,7 @@ install: install-libs install-headers
 
 install-libs: install-libs-yes
 
+install-progs-yes:
 install-progs-$(CONFIG_DOC): install-man
 install-progs-$(CONFIG_SHARED): install-libs