$(MAKEINFO) $(I_FLAGS) --html --no-split --css-include=style-single.css $(SBCLTEXI)
$(MAKEINFO) --html --no-split --css-include=style-single.css $(ASDFTEXI)
touch html-stamp
$(MAKEINFO) $(I_FLAGS) --html --no-split --css-include=style-single.css $(SBCLTEXI)
$(MAKEINFO) --html --no-split --css-include=style-single.css $(ASDFTEXI)
touch html-stamp