doc/Makefile: do not run makeinfo when only style.css changes
[cl-gtk2.git] / doc / .gitignore
2009-08-16 Dmitry KalyanovAdded gitignore