Hello,
One of the URLs in htmlxref.cnf seems to have changed. A diff is attached.
All the best,
Thérèse
--- htmlxref.cnf 2018-08-23 20:32:45.000000000 +0200
+++ htmlxref.cnf.1
@@ -3,5 +3,5 @@
htmlxrefversion=2018-08-23.18; # UTC
-# Copyright 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018 Free
+# Copyright 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019 Free
# Software Foundation, Inc.
#
@@ -478,5 +478,5 @@
mit-scheme-user node ${MIT_SCHEME}/mit-scheme-user/
sos node ${MIT_SCHEME}/mit-scheme-sos/
- mit-scheme-imail node ${MIT_SCHEME}/mit-scheme-imail/
+ mit-scheme-imail node ${MIT_SCHEME}/mit-scheme-imail.html
moe mono ${GS}/moe/manual/moe_manual.html
