changeset 95070:e7c3af7f57eb

(elide-head-headers-to-hide): Handle GPLv3 format.
author Glenn Morris <rgm@gnu.org>
date Sat, 17 May 2008 20:15:52 +0000
parents 97c813c2948b
children 3be19d5fa2a3
files lisp/elide-head.el
diffstat 1 files changed, 5 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/elide-head.el	Sat May 17 20:11:43 2008 +0000
+++ b/lisp/elide-head.el	Sat May 17 20:15:52 2008 +0000
@@ -1,7 +1,7 @@
 ;;; elide-head.el --- hide headers in files
 
-;; Copyright (C) 1999, 2001, 2002, 2003, 2004, 2005,
-;;   2006, 2007, 2008 Free Software Foundation, Inc.
+;; Copyright (C) 1999, 2001, 2002, 2003, 2004, 2005, 2006, 2007,
+;;   2008 Free Software Foundation, Inc.
 
 ;; Author: Dave Love <fx@gnu.org>
 ;; Keywords: outlines tools
@@ -51,8 +51,9 @@
   :group 'tools)
 
 (defcustom elide-head-headers-to-hide
-  '(("is free software; you can redistribute it" . ; GNU boilerplate
-     "Boston, MA 0211\\(1-1307\\|0-1301\\), USA\\.")
+  '(("is free software[:;] you can redistribute it" . ; GNU boilerplate
+     "\\(Boston, MA 0211\\(1-1307\\|0-1301\\), USA\\|\
+If not, see <http://www\\.gnu\\.org/licenses/>\\)\\.")
     ("The Regents of the University of California\\.  All rights reserved\\." .
      "SUCH DAMAGE\\.")				      ; BSD
     ("Permission is hereby granted, free of charge" . ; X11