A small change to doc/Makefile