Use the right locale when processing ChangeLog into changelog.html.
--- doc/Makefile.in.orig	2006-08-18 11:20:19.000000000 -0500
+++ doc/Makefile.in	2018-10-26 04:02:51.000000000 -0500
@@ -398,7 +398,7 @@
 
 changelog.html: changelog.head $(top_srcdir)/ChangeLog changelog.tail
 	cat $(srcdir)/changelog.head >changelog.html
-	sed -e 's/</\&lt;/' -e 's/</\&lt;/' -e 's/</\&lt;/' \
+	LC_CTYPE=ISO8859-1 sed -e 's/</\&lt;/' -e 's/</\&lt;/' -e 's/</\&lt;/' \
 	    $(top_srcdir)/ChangeLog >>changelog.html
 	cat $(srcdir)/changelog.tail >>changelog.html