diff make-dist @ 72366:3c4b171b712c

Clarify that bootstrap and the shorter procedure are alternatives.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 12 Aug 2006 12:04:04 +0000
parents ef43d43a40be
children 81a55a7dc3c3 138ce2701550
line wrap: on
line diff