Posterdati

# gmake
makeinfo -I "docstrings/" -I "../../contrib/" --html --no-split --css-include=style-common.css --css-include=style-single.css sbcl.texinfo
sbcl.texinfo:5: warning: unrecognized encoding name `UTF-8'.
makeinfo --html --no-split --css-include=style-common.css --css-include=style-single.css asdf.texinfo
gmake: *** [Makefile:59: html-stamp] Segmentation fault (core dumped)