the def \C breaks the web build

blueprint/src/preamble/common.tex

@@ -39,8 +39,7 @@
 \newcommand{\Z}{{\mathbb{Z}}}
 \newcommand{\Q}{{\mathbb{Q}}}
 \newcommand{\R}{{\mathbb{R}}}
-% In some distributions, \C is already defined so \newcommand fails
-\def\C{\mathbb{C}}
+
 \DeclareMathOperator{\ch}{\operatorname{ch}}
 \DeclareMathOperator{\dens}{\operatorname{dens}}
 \DeclareMathOperator{\supp}{\operatorname{supp}}

blueprint/src/preamble/print.tex

@@ -6,4 +6,8 @@
 \newcommand{\proves}[1]{}
 \newcommand{\lean}[1]{}
 \newcommand{\leanok}{}
-\tracinglostchars=3
+\tracinglostchars=3
+
+% In some distributions, \C is already defined so \newcommand fails, however, \def seems to
+% break the web-build our CI does, so we declare this separately for the pdf and the web version
+\def\C{\mathbb{C}}

blueprint/src/preamble/web.tex

@@ -1,2 +1,6 @@
 % Those macros are used for the web version of the blueprint.
 % This file is not meant to be built. Build src/web.tex or src/print.text instead.
+
+% In some distributions, \C is already defined so \newcommand fails, however, \def seems to
+% break the web-build our CI does, so we declare this separately for the pdf and the web version
+\newcommand{\C}{{\mathbb{C}}}