From b3dfd931e2b12586a8c07955724eb846f77adaa7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lukas=20Br=C3=BCbach?= Date: Sun, 28 Sep 2025 21:30:17 +0200 Subject: [PATCH] Remove the empty building page. Took 7 minutes --- doc/doxygen-extra-pages/building/index.md | 1 - doc/doxygen-extra-pages/developer_documentation/index.md | 1 - 2 files changed, 2 deletions(-) delete mode 100644 doc/doxygen-extra-pages/building/index.md diff --git a/doc/doxygen-extra-pages/building/index.md b/doc/doxygen-extra-pages/building/index.md deleted file mode 100644 index b93611958..000000000 --- a/doc/doxygen-extra-pages/building/index.md +++ /dev/null @@ -1 +0,0 @@ -\page building Building \ No newline at end of file diff --git a/doc/doxygen-extra-pages/developer_documentation/index.md b/doc/doxygen-extra-pages/developer_documentation/index.md index 9df074f9d..f1e11b710 100644 --- a/doc/doxygen-extra-pages/developer_documentation/index.md +++ b/doc/doxygen-extra-pages/developer_documentation/index.md @@ -1,4 +1,3 @@ \page developer_reference Developer Reference -- [Building](@subpage building) - [Contributing](@subpage contributing)