1Fix build with texinfo 6.7. Otherwise
2
3 makeinfo -I topdocs --no-split --no-headers --output AUTHORS topdocs/AUTHORS.texi
4
5fails with
6
7 utf8 "\xC1" does not map to Unicode at /nix/store/...-texinfo-6.7/share/texinfo/Texinfo/ParserNonXS.pm line 1796, <FH> line 38.
8
9--- a/topdocs/AUTHORS.texi
10+++ b/topdocs/AUTHORS.texi
11@@ -1,2 +1,3 @@
12 \input texinfo
13+@documentencoding ISO-8859-1
14 @setfilename AUTHORS.info
15--- a/topdocs/README.texi
16+++ b/topdocs/README.texi
17@@ -1,2 +1,3 @@
18 \input texinfo
19+@documentencoding ISO-8859-1
20 @setfilename README.info