From 7889e768c80fac4766e549c3a4c6119c7110b486 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 4 Feb 2014 17:59:26 -0700
Subject: [PATCH] scribble/sigplan: fix problem that makes `doi` required

Closes PR 14311

original commit: af28d4175d07113b3ba788fd03a6c5df9f384508
---
 pkgs/scribble-pkgs/scribble-lib/scribble/sigplan/style.tex | 3 +++
 1 file changed, 3 insertions(+)

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{}