diff options
| author | Diego Biurrun <diego@biurrun.de> | 2007-10-22 18:01:33 +0000 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2007-10-22 18:01:33 +0000 |
| commit | 282db5fde0dfd72d76c781333000a043e52150ae (patch) | |
| tree | dce3d5169d9d2b5c61d5742a216cec5083a0f437 /Makefile | |
| parent | 1217916b0dc4557801cea0627669787c86417913 (diff) | |
Fix make install of man pages when PROGS is empty.
Originally committed as revision 10841 to svn://svn.ffmpeg.org/ffmpeg/trunk
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -34,9 +34,9 @@ ALL_TARGETS-$(CONFIG_VHOOK) += videohook ALL_TARGETS-$(BUILD_DOC) += documentation INSTALL_TARGETS-$(CONFIG_VHOOK) += install-vhook -INSTALL_TARGETS-$(BUILD_DOC) += install-man ifneq ($(PROGS),) INSTALL_TARGETS-yes += install-progs +INSTALL_TARGETS-$(BUILD_DOC) += install-man endif VHOOKCFLAGS += $(filter-out -mdynamic-no-pic,$(CFLAGS)) |