UTILITIES/gplmanual.pl

   1 #!/usr/bin/perl
   2
   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.
   5
   6 $gpl =
   7 '
   8
   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/}.
  13 ';
  14
  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";
  17
  18 while (<IN>) {
  19   print OUT $gpl if /end quotation/;
  20   print OUT $_;
  21  }