08/14: gpce-2017: Add an explicit license.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository maintenance.

commit ce3cfaae1c6dcd86b0c099c3de42e51f5282fc8f
Author: Ludovic Courtès <address@hidden>
Date:   Thu Aug 31 11:35:09 2017 +0200

    gpce-2017: Add an explicit license.
---
 doc/gpce-2017/gpce.skb | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/doc/gpce-2017/gpce.skb b/doc/gpce-2017/gpce.skb
index 114e161..6aef32b 100644
--- a/doc/gpce-2017/gpce.skb
+++ b/doc/gpce-2017/gpce.skb
@@ -92,7 +92,27 @@
                                    "\
 \\acmConference[GPCE'17]{International Conference on Generative Programming: 
Concepts \\& Experience}{October 2017}{Vancouver, Canada}
 \\acmYear{2017}
-\\copyrightyear{2017}\n")))
+\\copyrightyear{2017}
+
+\\let\\oldthing\\footnotetextcopyrightpermission
+\\renewcommand\\footnotetextcopyrightpermission[1]{\\oldthing{
+  % Per
+  % 
<https://www.legifrance.gouv.fr/affichCodeArticle.do?cidTexte=LEGITEXT000006069414&idArticle=LEGIARTI000006278959&dateTexte=20170831>,
+  % the copyright holder is me personally, not Inria.
+  Copyright \\copyright 2017 Ludovic Courtès.\\
+
+  Permission is granted to copy, distribute and/or modify this document
+  under the terms of the GNU Free Documentation License, Version 1.3
+  or any later version published by the Free Software Foundation;
+  with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+  A copy of the license is
+  available at \\url{https://www.gnu.org/licenses/gfdl.html}.
+
+  % Give a link to the 'Transparent Copy', as per Section 3 of the GFDL.
+  The source of this document is available from
+  \\url{https://git.sv.gnu.org/cgit/guix/maintenance.git}.
+}}
+")))
 
 (let ((latex (find-engine 'latex)))
    (engine-custom-set! latex 'documentclass