build: fix "make install" with documentation disabled

Signed-off-by: Mans Rullgard <mans@mansr.com>

diff --git a/Makefile b/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