log doc/lispintro/makefile.w32-in @ 85195:718f0bcfdb7c

age author description
Thu, 06 Sep 2007 04:06:03 +0000 Glenn Morris (infodir, ENVADD): Go up one more level.
Thu, 06 Sep 2007 04:03:24 +0000 Glenn Morris Move here from ../../lispintro/