doc/Makefile: do not run makeinfo when only style.css changes
[cl-gtk2.git] / doc / hello_world.png
doc/hello_world.png