doc/Makefile: work around the fact that we don't currently calculate dependencies...
commitf599d18ff5343d897d6945533533bc6f80911cb6
authordhilvert <dhilvert@auricle.dyndns.org>
Fri, 29 Sep 2006 04:00:00 +0000 (29 04:00 +0000)
committerdhilvert <dhilvert@auricle.dyndns.org>
Fri, 29 Sep 2006 04:00:00 +0000 (29 04:00 +0000)
tree83143bb76ff7eb2cccb64d18f47596cb5c1a8821
parentce594bba4eb9ea277d5039431d0803365f593578
doc/Makefile: work around the fact that we don't currently calculate dependencies correctly.

darcs-hash:20060929040056-789c2-b73bb05c0d2599c30170ebbf8e5428ea98a701b6.gz
doc/Makefile