Fix the doc makefile