diff options
author | Karl Berry <karl@freefriends.org> | 2011-01-26 10:48:09 -0800 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-01-26 10:48:09 -0800 |
commit | 4226cf28cbf8b81423e6a1ee4075020f55e320d8 (patch) | |
tree | fd40e2319627ef350450d0ed2e8cec13e48b7bad /doc/Makefile | |
parent | 55392621466ee6ac755c920f881679b5e345b11d (diff) | |
download | gnulib-4226cf28cbf8b81423e6a1ee4075020f55e320d8.tar.gz |
more make vars for makeinfo
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 10 |
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 $@ $< |