comparison make-dist @ 26236:4f74d4393e52

Add description of --execute and --file.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 28 Oct 1999 21:02:49 +0000
parents 8a1730e677fe
children d6607102aa71
comparison
equal deleted inserted replaced
26235:a4392300f4f5 26236:4f74d4393e52