From 151c5841881591552be685b7fd50b488f128ba5b Mon Sep 17 00:00:00 2001
From: Mans Rullgard <mans@mansr.com>
Date: Sat, 11 Jun 2011 19:54:23 +0100
Subject: [PATCH] build: fix "make install" with documentation disabled

Signed-off-by: Mans Rullgard <mans@mansr.com>
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 7c7cdaf167..0df8a11407 100644
--- 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