enhance doc/Makefile

Jérôme Benoitrequested to merge
jgmbenoit/graph-tool:debian/2.44+ds-1/doc/make into master

Slightly enhances doc/Makefile.

Merge request reports