From bc86df08f67b7e1f58378258599bb3df422ee691 Mon Sep 17 00:00:00 2001
From: Floris van Doorn <fpvdoorn@gmail.com>
Date: Mon, 13 Jan 2025 15:27:22 +0100
Subject: [PATCH] the def \C breaks the web build

---
 blueprint/src/preamble/common.tex | 3 +--
 blueprint/src/preamble/print.tex  | 6 +++++-
 blueprint/src/preamble/web.tex    | 4 ++++
 3 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/blueprint/src/preamble/common.tex b/blueprint/src/preamble/common.tex
index 8d44ac00..50fa239d 100644
--- a/blueprint/src/preamble/common.tex
+++ b/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}}
diff --git a/blueprint/src/preamble/print.tex b/blueprint/src/preamble/print.tex
index bd571634..b58a1866 100644
--- a/blueprint/src/preamble/print.tex
+++ b/blueprint/src/preamble/print.tex
@@ -6,4 +6,8 @@
 \newcommand{\proves}[1]{}
 \newcommand{\lean}[1]{}
 \newcommand{\leanok}{}
-\tracinglostchars=3
\ No newline at end of file
+\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}}
\ No newline at end of file
diff --git a/blueprint/src/preamble/web.tex b/blueprint/src/preamble/web.tex
index 9e38aaf7..048a7d06 100644
--- a/blueprint/src/preamble/web.tex
+++ b/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}}}