*** gambit-c.html could not be built (perhaps ./texi2html is not installed?)