diff options
| author | jamal <jamrial@gmail.com> | 2012-07-11 22:45:00 -0300 |
|---|---|---|
| committer | Stefano Sabatini <stefasab@gmail.com> | 2012-07-14 11:47:09 +0200 |
| commit | d48f014ff1db985fa3f74eddfb30bf513f99ff7a (patch) | |
| tree | 15fb977eee7dbf1603a4fe1f81f6d18e1e76650b /doc/Makefile | |
| parent | 3e03f8d8b202b4548c6fb42f66fff4827e724085 (diff) | |
doc/Makefile: Add missing $(HOSTEXESUF) to print_options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 37635d0f5f..0ee812176e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -34,7 +34,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 |