|
@@ -34,7 +34,7 @@ GENTEXI = format codec |
|
|
GENTEXI := $(GENTEXI:%=doc/avoptions_%.texi) |
|
|
GENTEXI := $(GENTEXI:%=doc/avoptions_%.texi) |
|
|
|
|
|
|
|
|
$(GENTEXI): TAG = GENTEXI |
|
|
$(GENTEXI): TAG = GENTEXI |
|
|
$(GENTEXI): doc/avoptions_%.texi: doc/print_options |
|
|
|
|
|
|
|
|
$(GENTEXI): doc/avoptions_%.texi: doc/print_options$(HOSTEXESUF) |
|
|
$(M)doc/print_options $* > $@ |
|
|
$(M)doc/print_options $* > $@ |
|
|
|
|
|
|
|
|
doc/%.html: TAG = HTML |
|
|
doc/%.html: TAG = HTML |
|
|