1 files changed, 24 insertions, 0 deletions
diff --git a/texinfo/license.texi b/texinfo/license.texi
new file mode 100644
index 00000000000..c23a4dc8095
--- /dev/null
+++ b/texinfo/license.texi
@@ -0,0 +1,24 @@
+\input texinfo
+@setfilename license.info
+
+@ifinfo
+@format
+START-INFO-DIR-ENTRY
+* COPYING: (license).		The GNU General Public License
+END-INFO-DIR-ENTRY
+@end format
+@end ifinfo
+
+@settitle GPL
+@iftex
+@headings doubleafter
+@setchapternewpage off
+@end iftex
+@finalout
+
+@node Top, , (dir), (dir)
+@unnumbered GNU GENERAL PUBLIC LICENSE
+
+@include gpl.texinfo
+
+@bye