doc/Makefile: do not run makeinfo when only style.css changes