summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-01-26 10:48:09 -0800
committerKarl Berry <karl@freefriends.org>2011-01-26 10:48:09 -0800
commit4226cf28cbf8b81423e6a1ee4075020f55e320d8 (patch)
treefd40e2319627ef350450d0ed2e8cec13e48b7bad /doc/Makefile
parent55392621466ee6ac755c920f881679b5e345b11d (diff)
downloadgnulib-4226cf28cbf8b81423e6a1ee4075020f55e320d8.tar.gz
more make vars for makeinfo
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile10
1 files changed, 7 insertions, 3 deletions
diff --git a/doc/Makefile b/doc/Makefile
index c40359bb07..177760e9c6 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -7,11 +7,15 @@
doc = gnulib
-MAKEINFO = env LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo
-TEXI2HTML = $(MAKEINFO) --no-split --reference-limit=2000 --html
+lang_env = env LANG= LC_MESSAGES= LC_ALL= LANGUAGE=
+makeinfo_prog = makeinfo
+MAKEINFO = $(lang_env) $(makeinfo_prog)
+
+manual_opts = --no-split --reference-limit=2000
+TEXI2HTML = $(MAKEINFO) $(manual_opts) --html
%.info: %.texi
- LANG= LC_MESSAGES= LC_ALL= LANGUAGE= makeinfo --no-split --reference-limit=2000 $<
+ $(MAKEINFO) $(manual_opts) $<
%.html: %.texi
$(TEXI2HTML) -o $@ $<