From 52fb91425bb48ab31d2b1b199017b50ac4dbea66 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Julius=20H=C3=A4rtl?= Date: Tue, 6 Jun 2023 15:15:51 +0200 Subject: [PATCH] fix: Disable icon-docs as they are broken anyways MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Julius Härtl --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6fca3d0ef..559087c94 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,7 @@ user-manual-html: cd user_manual && make html @echo "User manual build finished; HTML is updated" -developer-manual-html: openapi-spec icons-docs +developer-manual-html: openapi-spec # icons-docs rm -rf developer_manual/_build/html/com cd developer_manual && make html @echo "Developer manual build finished; HTML is updated"