diff make-dist @ 103793:68421a518966

(texinfodir): New variable, with location of texinfo.tex. (ENVADD): Add texinfodir to TEXINPUTS.
author Glenn Morris <rgm@gnu.org>
date Thu, 09 Jul 2009 02:52:26 +0000
parents 15f0b2d2eef8
children b51e687e8c81
line wrap: on
line diff