diff options
| author | Masamichi Hosoda <trueroad@trueroad.jp> | 2015-12-24 23:50:36 +0900 |
|---|---|---|
| committer | Masamichi Hosoda <trueroad@trueroad.jp> | 2016-01-03 21:27:46 +0900 |
| commit | 155b705d1bedf668aace5dbe84e65065cd4c5bc0 (patch) | |
| tree | 9e8560c6a3323c275b417771d715745ecfe23f97 /make | |
| parent | 2275a6116d9831c2b6dff04315b65847869ce244 (diff) | |
Issue 4713/1: Fix texi2html obsoleted option
texi2html option `--lang' was obsoleted by `--document-language'.
Diffstat (limited to 'make')
| -rw-r--r-- | make/doc-i18n-root-vars.make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/doc-i18n-root-vars.make b/make/doc-i18n-root-vars.make index 48cfcdbb12..9178d57b36 100644 --- a/make/doc-i18n-root-vars.make +++ b/make/doc-i18n-root-vars.make @@ -41,7 +41,7 @@ WEB_MANUALS=web ########### ifneq ($(ISOLANG),) -TEXI2HTML_LANG = --lang=$(ISOLANG) +TEXI2HTML_LANG = --document-language=$(ISOLANG) endif $(XREF_MAPS_DIR)/web.$(ISOLANG).xref-map:\ |