make-docfile' with
src/Makefile needs to rebuild `make-doc.exe', use one command per line. Undo the previous change.