civodul pushed a commit to branch master in repository maintenance. commit ce3cfaae1c6dcd86b0c099c3de42e51f5282fc8f Author: Ludovic Courtès <l...@gnu.org> 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