build: fix "make install" with documentation disabled

Signed-off-by: Mans Rullgard <mans@mansr.com>
14 years ago · 151c584188
parent 623ffe8c82
commit 151c584188
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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