doc/Makefile: cosmetics after previous commits.