diff --git a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/style.tex b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/style.tex index 63affecb..2ebb8aac 100644 --- a/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/style.tex +++ b/pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/style.tex @@ -36,3 +36,6 @@ \renewcommand{\SCategoryPlus}[4]{\category{#1}{#2}{#3}[#4]} \renewcommand{\STerms}[1]{\terms{#1}} \renewcommand{\SKeywords}[1]{\keywords{#1}} + +% A later \doi will replace this one: +\doi{}