diff options
| -rw-r--r-- | INSTALL | 4 | ||||
| -rw-r--r-- | Makefile | 2 |
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 |