From 568761b9a7660cc7d5c8542cf0e20464e86cb94a Mon Sep 17 00:00:00 2001
From: Lars Toenning <lars.toenning@iml.fraunhofer.de>
Date: Mon, 6 Nov 2023 10:52:19 +0100
Subject: [PATCH] ci: Remove doxygen placeholder folder

This fixes the link to Doxygen from the
mkdocs site.
---
 .github/workflows/documentation.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 0634e83c..91380820 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -38,6 +38,7 @@ jobs:
       - name: Build doxygen
         run: |
           doxygen
+          rm html/doxygen -r # Remove doxygen placeholder folder
           mv doxygen_output/html html/doxygen
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v2