diff admin/make-emacs @ 78345:5b57e2a4ffb0

(EMACSSOURCES): Add gpl.texi.
author Glenn Morris <rgm@gnu.org>
date Fri, 27 Jul 2007 08:09:56 +0000
parents 450fa81c5930
children cde444d03b82 ccd60918dd19 f55f9811f5d7
line wrap: on
line diff