diff man/texinfo.tex @ 40228:afee33bfd42a

(srcs): Add gpl.texi and doclicense.texi.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 23 Oct 2001 18:55:49 +0000
parents d740bf4f6714
children efec044efb3a
line wrap: on
line diff