diff make-dist @ 6996:cb15d148ee99

(clean): Delete DOC*.
author Richard M. Stallman <rms@gnu.org>
date Thu, 21 Apr 1994 04:53:34 +0000
parents 15e380b232fa
children 5a03fc943b38
line wrap: on
line diff