doc/Makefile: work around the fact that we don't currently calculate dependencies...