diff options
Diffstat (limited to 'make/doc-i18n-root-vars.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:\ |