From 5fe868cdd29debce57cc4bd8574bb93fbef88e68 Mon Sep 17 00:00:00 2001
From: Felix Hekhorn <felix.hekhorn@uni-tuebingen.de>
Date: Wed, 21 Aug 2024 16:25:56 +0300
Subject: [PATCH] Fix poe rdocs

Also available in 13bafbb8d73faac3dbcc00ae71c64372c247dc8a
---
 pyproject.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pyproject.toml b/pyproject.toml
index 89ef66c71..0f343b160 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -131,7 +131,7 @@ asv = ["asv-run", "asv-publish", "asv-preview"]
 bump-version = { "shell" = "python crates/bump-versions.py $(git describe --tags)" }
 compile = "pip install -e crates/eko/"
 rdocs.cmd = "cargo doc --workspace --no-deps"
-rdocs.env = { RUSTDOCFLAGS = "--html-in-header crates/katex-header.html" }
+rdocs.env = { RUSTDOCFLAGS = "--html-in-header crates/doc-header.html" }
 rdocs-view = "xdg-open target/doc/ekors/index.html"
 rdocs-clean = "rm -rf target/doc/"
 rtest = "cargo test --workspace"