From 837249163c0b8148eab23137888d8210d54c9a4c Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 12 Sep 2013 06:50:19 -0600 Subject: [PATCH] scribble/sigplan: add `exclusive-license` original commit: c6bd9b23e0fd6849b880c33f5757b48658e5460e --- .../scribble-doc/scribblings/scribble/sigplan.scrbl | 1 + pkgs/scribble-pkgs/scribble-lib/scribble/sigplan.rkt | 10 ++++++++++ .../scribble-lib/scribble/sigplan/sigplan.css | 3 ++- .../scribble-lib/scribble/sigplan/sigplan.tex | 1 + .../scribble-lib/scribble/sigplan/style.tex | 1 + 5 files changed, 15 insertions(+), 1 deletion(-) diff --git a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/sigplan.scrbl b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/sigplan.scrbl index 38103505..677a6465 100644 --- a/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/sigplan.scrbl +++ b/pkgs/scribble-pkgs/scribble-doc/scribblings/scribble/sigplan.scrbl @@ -104,6 +104,7 @@ e-mail address with the author name.} @defproc[(copyrightyear [content pre-content?] ...) block?] @defproc[(copyrightdata [content pre-content?] ...) block?] @defproc[(doi [content pre-content?] ...) block?] +@defproc[(exclusive-license) block?] )]{ Declares information that is collected into the copyright region of the paper.} diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan.rkt b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan.rkt index e36d9548..3ec7771b 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan.rkt +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan.rkt @@ -27,6 +27,9 @@ [copyrightdata (->* () () #:rest (listof pre-content?) block?)] + [exclusive-license + (->* () () + block?)] [doi (->* () () #:rest (listof pre-content?) block?)] @@ -136,6 +139,13 @@ (make-style "Sdoi" sigplan-extras) (decode-content what)))) +(define (exclusive-license . what) + (make-paragraph + (make-style 'pretitle null) + (make-element + (make-style "SPexclusivelicense" sigplan-extras) + (decode-content what)))) + ;; ---------------------------------------- ;; Categories, terms, and keywords: diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/sigplan.css b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/sigplan.css index ad3ae176..e46ab8cc 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/sigplan.css +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/sigplan.css @@ -1,7 +1,8 @@ /* Support for styles in scribble/sigplan */ .SAuthorPlace, .SAuthorEmail, -.SConferenceInfo, .SCopyrightYear, .SCopyrightData, .Sdoi, +.SConferenceInfo, .SCopyrightYear, .SCopyrightData, +.Sdoi, .SPexclusivelicense, .SCategory, .SCategoryPlus, .STerms, .SKeywords { display: none; } diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/sigplan.tex b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/sigplan.tex index 69224601..fc2e1f52 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/sigplan.tex +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/sigplan.tex @@ -12,6 +12,7 @@ \newcommand{\SCopyrightYear}[1]{} \newcommand{\SCopyrightData}[1]{} \newcommand{\Sdoi}[1]{} +\newcommand{\SPexclusivelicense}[0]{} \newcommand{\SCategory}[3]{} \newcommand{\SCategoryPlus}[4]{} diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/style.tex b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/style.tex index 070beace..63affecb 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/style.tex +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/style.tex @@ -30,6 +30,7 @@ \renewcommand{\SCopyrightYear}[1]{\copyrightyear{#1}} \renewcommand{\SCopyrightData}[1]{\copyrightdata{#1}} \renewcommand{\Sdoi}[1]{\doi{#1}} +\renewcommand{\SPexclusivelicense}[0]{\exclusivelicense} \renewcommand{\SCategory}[3]{\category{#1}{#2}{#3}} \renewcommand{\SCategoryPlus}[4]{\category{#1}{#2}{#3}[#4]}