fixed small issue with doc/Makefile