diff make-dist @ 4329:dfabe5b99500

(Man-filter-list): Insert \n newlines in awk script.
author Richard M. Stallman <rms@gnu.org>
date Thu, 29 Jul 1993 02:31:06 +0000
parents 15c60018d647
children f1fa60176c8d
line wrap: on
line diff