diff make-dist @ 6890:7462c6006494

Doc fix.
author Karl Heuer <kwzh@gnu.org>
date Fri, 15 Apr 1994 19:25:34 +0000
parents 15e380b232fa
children 5a03fc943b38
line wrap: on
line diff