diff etc/ORDERS.JAPAN @ 42220:62671693b79f

Set SHELL and VPATH when running makeinfo in lispintro. Don't copy lispref/index.texi to the staging directory.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 21 Dec 2001 10:17:16 +0000
parents 6b5aacec5ace
children 23a1cea22d13
line wrap: on
line diff