* lib-src/makefile.w32-in, doc/lispintro/makefile.w32-in: Use