Update Makefile in docs/core-spec not to use latexmk