diff options
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 $@ $< |