# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1211055352 0
# Node ID e7c3af7f57ebb053eefddd22c06e2e9781c8d22a
# Parent  97c813c2948bfe4d8b9cf8bd6260ffeb2c08c474
(elide-head-headers-to-hide): Handle GPLv3 format.

diff -r 97c813c2948b -r e7c3af7f57eb lisp/elide-head.el
--- 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