Work around dumb check

CertiKOS · Nov 22, 2024 · d67e95a · d67e95a
1 parent 09f5940
commit d67e95a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/compcertoe/compcertoe-with-appendix.tex b/compcertoe/compcertoe-with-appendix.tex
@@ -1,2 +1,6 @@
 \def\withappendix{1}
+\def\cccopyright{
+  \setcopyright{cc}
+  \setcctype{by}
+}
 \input{compcertoe.tex}
diff --git a/compcertoe/compcertoe.tex b/compcertoe/compcertoe.tex
@@ -27,8 +27,7 @@
 %%% by Yu Zhang, Jérémie Koenig, Zhong Shao, and Yuting Wang.
 %%%
 \ifdefined\withappendix
-\setcopyright{cc}
-\setcctype{by}
+\cccopyright
 \else
 \setcopyright{rightsretained}
 \acmDOI{10.1145/3704900}