build: Remove GNU-make extensions from doc/Makefile.