diff options
author | Mans Rullgard <mans@mansr.com> | 2011-06-11 19:54:23 +0100 |
---|---|---|
committer | Mans Rullgard <mans@mansr.com> | 2011-06-11 20:35:53 +0100 |
commit | 151c5841881591552be685b7fd50b488f128ba5b (patch) | |
tree | 54a2438f1cae85e5df4e24c93838c29de6da8ff8 | |
parent | 623ffe8c82c3194e4eff469add76b1478025cd22 (diff) | |
download | ffmpeg-streaming-151c5841881591552be685b7fd50b488f128ba5b.zip ffmpeg-streaming-151c5841881591552be685b7fd50b488f128ba5b.tar.gz |
build: fix "make install" with documentation disabled
Signed-off-by: Mans Rullgard <mans@mansr.com>
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |