diff options
| author | Diego Biurrun <diego@biurrun.de> | 2006-11-14 02:53:59 +0000 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2006-11-14 02:53:59 +0000 |
| commit | 8233b75041c4fca97dd71087ba888576be86a0f9 (patch) | |
| tree | 62d096ce30698a41d0e1891814636154a962b92f /Makefile | |
| parent | 904e48f1bfde9c7d990cc50b88262fa38168bfc7 (diff) | |
| download | ffmpeg-8233b75041c4fca97dd71087ba888576be86a0f9.tar.gz | |
Make man page installation dependent on documentation generation.
Originally committed as revision 7042 to svn://svn.ffmpeg.org/ffmpeg/trunk
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -52,6 +52,7 @@ endif ifeq ($(BUILD_DOC),yes) DOC=documentation +INSTALLMAN=install-man endif OBJS = ffmpeg.o ffserver.o cmdutils.o ffplay.o @@ -116,7 +117,7 @@ videohook: .libs documentation: $(MAKE) -C doc all -install: install-progs install-libs install-headers install-man $(INSTALLVHOOK) +install: install-progs install-libs install-headers $(INSTALLMAN) $(INSTALLVHOOK) ifeq ($(BUILD_SHARED),yes) install-progs: $(PROGS) install-libs @@ -130,12 +131,9 @@ endif wininstaller: all install makensis ffinstall.nsi -# install man from source dir if available install-man: - if [ -f doc/ffmpeg.1 ] ; then \ - install -d "$(mandir)/man1" ; \ - install -m 644 $(MANPAGES) "$(mandir)/man1" ; \ - fi + install -d "$(mandir)/man1" + install -m 644 $(MANPAGES) "$(mandir)/man1" install-vhook: $(MAKE) -C vhook install |