doc/lispintro/makefile.w32-in, doc/misc/makefile.w32-in: Update dependencies.