htmlnosplit: $(DOCNAME).html
$(DOCNAME).html: $(SRC) $(CSS)
@makeinfo -o $@ --no-split --no-headers --html --css-include=$(CSS) $(SRC)
htmlnosplit: $(DOCNAME).html
$(DOCNAME).html: $(SRC) $(CSS)
@makeinfo -o $@ --no-split --no-headers --html --css-include=$(CSS) $(SRC)