--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2007-07-02  Simon Josefsson  <simon@josefsson.org>
+
+	* modules/gpl-3.0: New file, based on gpl-2.0.
+
+	* modules/gpl-2.0: Renamed from gpl.
+
+	* modules/gpl: Fix filename, doc/gpl.texi is now found at
+	doc/gpl-2.0.texi.
+
 2007-07-02  Paul Eggert  <eggert@cs.ucla.edu>
 
 	* lib/inttypes_.h [defined __cplusplus&&!defined __STDC_LIMIT_MACROS]:

deleted file mode 100644
--- a/modules/gpl
+++ /dev/null
@@ -1,19 +0,0 @@
-Description:
-Provide the GNU General Public License in Texinfo format.
-
-Files:
-doc/gpl.texi
-
-Depends-on:
-
-configure.ac:
-
-Makefile.am:
-
-Include:
-
-License:
-unmodifiable license text
-
-Maintainer:
-all

new file mode 100644
--- /dev/null
+++ b/modules/gpl-2.0
@@ -0,0 +1,19 @@
+Description:
+Provide the GNU General Public License version 2.0 in Texinfo format.
+
+Files:
+doc/gpl-2.0.texi
+
+Depends-on:
+
+configure.ac:
+
+Makefile.am:
+
+Include:
+
+License:
+unmodifiable license text
+
+Maintainer:
+all

new file mode 100644
--- /dev/null
+++ b/modules/gpl-3.0
@@ -0,0 +1,19 @@
+Description:
+Provide the GNU General Public License version 3.0 in Texinfo format.
+
+Files:
+doc/gpl-3.0.texi
+
+Depends-on:
+
+configure.ac:
+
+Makefile.am:
+
+Include:
+
+License:
+unmodifiable license text
+
+Maintainer:
+all