gplmanual.pl 644 B

123456789101112131415161718192021
  1. #!/usr/bin/perl
  2. # This command creates a version of the manual to is both GFDL and GPL
  3. # To allow DEBIAN to include the manual in its main section.
  4. $gpl =
  5. '
  6. Permission is also granted to copy, distribute and/or modify this document
  7. under the terms of the GNU General Public License (GPL).
  8. You should have received a copy of the GNU General Public License
  9. along with GNU Emacs. If not, see @url{http://www.gnu.org/licenses/}.
  10. ';
  11. open IN, "<doc/org.texi" or die "Cannot open doc/org.texi\n";
  12. open OUT, ">doc/org_dual_license.texi" or die "Cannot open doc/org.texi\n";
  13. while (<IN>) {
  14. print OUT $gpl if /end quotation/;
  15. print OUT $_;
  16. }