File: maint.mk.diff

package info (click to toggle)
coreutils 9.10-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 70,560 kB
  • sloc: ansic: 253,546; sh: 30,931; perl: 8,141; yacc: 1,846; makefile: 198; python: 47; sed: 16
file content (12 lines) | stat: -rw-r--r-- 471 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
 
diff --git a/top/maint.mk b/top/maint.mk
index ad60c8fb11..3475f3733c 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -1740,6 +1740,7 @@ web-manual:
 	$(AM_V_GEN)test -z "$(manual_title)" \
 	  && { echo define manual_title in cfg.mk 1>&2; exit 1; } || :
 	$(AM_V_at)cd '$(srcdir)/doc'; \
+	  MAKEINFO="$(MAKEINFO)" \
 	  $(SHELL) ../$(_build-aux)/gendocs.sh $(gendocs_options_) \
 	     -o '$(abs_builddir)/doc/manual' \
 	     --email $(PACKAGE_BUGREPORT) $(PACKAGE) \