I think you are right but this is what sphinx puts in Makefile by default.  I guess sphinx does not use dependency handling in make.  For example, in principle nearly all targets should depend on `pickle` but they do not, right?