diff make-dist @ 25700:fed6ebbe8644

(index.texi): If cannot make a symlink, make a hard link.
author Richard M. Stallman <rms@gnu.org>
date Tue, 14 Sep 1999 01:50:00 +0000
parents 3171bf7ae0ff
children 8a1730e677fe
line wrap: on
line diff