($(DOC)): Depend on make-docfile.exe, temacs.exe,