Merge branch 'master' of git+ssh://repo.or.cz/srv/git/org-mode
[org-mode/org-tableheadings.git] / UTILITIES / gplmanual.pl
blobd7171a56f06570da2be57b81016fe917909a21de
1 #!/usr/bin/perl
3 # This command creates a version of the manual to is both GFDL and GPL
4 # To allow DEBIAN to include the manual in its main section.
6 $gpl =
9 Permission is also granted to copy, distribute and/or modify this document
10 under the terms of the GNU General Public License (GPL).
11 You should have received a copy of the GNU General Public License
12 along with GNU Emacs. If not, see @url{http://www.gnu.org/licenses/}.
15 open IN, "<doc/org.texi" or die "Cannot open doc/org.texi\n";
16 open OUT, ">doc/org_dual_license.texi" or die "Cannot open doc/org.texi\n";
18 while (<IN>) {
19 print OUT $gpl if /end quotation/;
20 print OUT $_;