enhance doc/Makefile

Slightly enhances doc/Makefile.
3 jobs for debian/2.44+ds-1/doc/make in 81 minutes and 50 seconds (queued for 3 seconds)
latest