From 0be03c519f12157a735f3b1c518f00da74c7e1cb Mon Sep 17 00:00:00 2001 From: Yoni Rabkin Date: Fri, 7 Aug 2020 11:57:41 -0400 Subject: * doc/gpl.texi: fix compilation warning --- doc/gpl.texi | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/gpl.texi b/doc/gpl.texi index dc22d67..48d43f9 100644 --- a/doc/gpl.texi +++ b/doc/gpl.texi @@ -1,4 +1,5 @@ @node Copying, The GNU FDL, Local Storage, Top +@chapter The GNU General Public License. @c The GNU General Public License. @center Version 3, 29 June 2007 -- cgit v1.2.3