doc/Makefile: do not run makeinfo when only style.css changes
[cl-gtk2.git] / gboxed
2009-08-16 Dmitry KalyanovSome semi-useful implementation notes of GBoxed