diff --git a/mk/gplmanual.pl b/mk/gplmanual.pl deleted file mode 100755 index d7171a56f..000000000 --- a/mk/gplmanual.pl +++ /dev/null @@ -1,21 +0,0 @@ -#!/usr/bin/perl - -# This command creates a version of the manual to is both GFDL and GPL -# To allow DEBIAN to include the manual in its main section. - -$gpl = -' - -Permission is also granted to copy, distribute and/or modify this document -under the terms of the GNU General Public License (GPL). -You should have received a copy of the GNU General Public License -along with GNU Emacs. If not, see @url{http://www.gnu.org/licenses/}. -'; - -open IN, "doc/org_dual_license.texi" or die "Cannot open doc/org.texi\n"; - -while () { - print OUT $gpl if /end quotation/; - print OUT $_; - }