diff options
author | jamal <jamrial@gmail.com> | 2012-07-11 22:45:00 -0300 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2012-09-13 04:47:20 +0200 |
commit | d14ce698697c1fe0ade462191ef9ae69f03ce6ac (patch) | |
tree | 632eed45725c090b59dc8484f3225c87d0961490 | |
parent | b45a8f6d249d20572cb4f37c86eb4432a0cff16f (diff) | |
download | ffmpeg-d14ce698697c1fe0ade462191ef9ae69f03ce6ac.tar.gz |
doc/Makefile: Add missing $(HOSTEXESUF) to print_options
(cherry picked from commit d48f014ff1db985fa3f74eddfb30bf513f99ff7a)
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 16f6a0d43e..8c829efa77 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -35,7 +35,7 @@ GENTEXI = format codec GENTEXI := $(GENTEXI:%=doc/avoptions_%.texi) $(GENTEXI): TAG = GENTEXI -$(GENTEXI): doc/avoptions_%.texi: doc/print_options +$(GENTEXI): doc/avoptions_%.texi: doc/print_options$(HOSTEXESUF) $(M)doc/print_options $* > $@ doc/%.html: TAG = HTML |