ndwarshuis
/
org-mode
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove gplmanual.pl as we are not allowed to dual-license the Org manual.

This commit is contained in:
Bastien Guerry 2012-12-14 00:02:19 +01:00
parent 4524a02b39
commit c4bf1eeed4
1 changed files with 0 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
mk/gplmanual.pl
View File

@ -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 $_;
}