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