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