From bd85ca3012cbec75132dd7bd1fe74bee7a325d32 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Mon, 16 Oct 2023 15:51:23 +0200
Subject: [PATCH] Disable cross-referencing to Hecke/Nemo/AA docs

---
 docs/make_work.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/make_work.jl b/docs/make_work.jl
index 004b640e0e2b..450c18e4e426 100644
--- a/docs/make_work.jl
+++ b/docs/make_work.jl
@@ -191,6 +191,7 @@ function doit(
       warnonly=warnonly,
       checkdocs=:none,
       pages=doc,
+      remotes=nothing,  # TODO: make work with Hecke, Nemo, AbstractAlgebra
       plugins=[bib]
     )
   end