From c4bf1eeed4cae772d4893a6ecce7c94f5c3c24e4 Mon Sep 17 00:00:00 2001
From: Bastien Guerry <bzg@altern.org>
Date: Fri, 14 Dec 2012 00:02:19 +0100
Subject: [PATCH] Remove gplmanual.pl as we are not allowed to dual-license the
 Org manual.

---
 mk/gplmanual.pl | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100755 mk/gplmanual.pl

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.texi" or die "Cannot open doc/org.texi\n";
-open OUT, ">doc/org_dual_license.texi" or die "Cannot open doc/org.texi\n";
-
-while (<IN>) {
-  print OUT $gpl if /end quotation/;
-  print OUT $_;
- }