aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--INSTALL4
-rw-r--r--Makefile2
2 files changed, 3 insertions, 3 deletions
diff --git a/INSTALL b/INSTALL
index 6d51475536..f921f82b4c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -469,8 +469,8 @@ build the GNU C Library:
* GNU 'make' 4.0 or newer
- As of release time, GNU 'make' 4.4 is the newest verified to work to
- build the GNU C Library.
+ As of release time, GNU 'make' 4.4 is the newest verified to work
+ to build the GNU C Library.
* GCC 6.2 or newer
diff --git a/Makefile b/Makefile
index f324df7a1f..f26050204a 100644
--- a/Makefile
+++ b/Makefile
@@ -734,7 +734,7 @@ endif
INSTALL: manual/install-plain.texi manual/macros.texi \
$(common-objpfx)manual/pkgvers.texi manual/install.texi
makeinfo --no-validate --plaintext --no-number-sections \
- -I$(common-objpfx)manual $< -o $@-tmp
+ --disable-encoding -I$(common-objpfx)manual $< -o $@-tmp
$(AWK) 'NF == 0 { ++n; next } \
NF != 0 { while (n-- > 0) print ""; n = 0; print }' \
< $@-tmp > $@-tmp2