doc/Makefile: do not run makeinfo when only style.css changes
authorDmitry Kalyanov <Kalyanov.Dmitry@gmail.com>
Tue, 1 Sep 2009 21:05:31 +0000 (01:05 +0400)
committerDmitry Kalyanov <Kalyanov.Dmitry@gmail.com>
Tue, 1 Sep 2009 21:05:31 +0000 (01:05 +0400)
commit3d33870277b6c24da46b2c5900502872a5d1aa39
tree16405741569dc1e45e406a35b23dc1e76c1f0142
parentfa09303681fef160cc4340fd5059321ff5d98776
doc/Makefile: do not run makeinfo when only style.css changes
doc/Makefile