[FFmpeg-cvslog] build: fix "make install" with documentation disabled

[Mans Rullgard]

ffmpeg | branch: master | Mans Rullgard <mans at mansr.com> | Sat Jun 11 19:54:23 2011 +0100| [151c5841881591552be685b7fd50b488f128ba5b] | committer: Mans Rullgard

build: fix "make install" with documentation disabled

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

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=151c5841881591552be685b7fd50b488f128ba5b
---

 Makefile |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/Makefile b/Makefile
index 7c7cdaf..0df8a11 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