Fix doc-generating makefile