From 20b8ba17735d58e1135679513e9e2c0e17e64c69 Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Sun, 27 Mar 2022 18:13:48 +0200 Subject: [PATCH] Add extra script to the docs created in GitHub Actions workflow This was done by the cron job running in docs.wxwidgets.org before, so keep doing it here. --- .github/workflows/docs_update.yml | 6 ++++++ docs/doxygen/custom_footer.html | 4 +++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docs_update.yml b/.github/workflows/docs_update.yml index 28b26aeb8a..db73c4e4f2 100644 --- a/.github/workflows/docs_update.yml +++ b/.github/workflows/docs_update.yml @@ -20,6 +20,12 @@ jobs: run: | sudo apt-get -q -o=Dpkg::Use-Pty=0 -y install doxygen graphviz + - name: Customize for online docs + working-directory: docs/doxygen + run: | + sed -i'' -e "s@@@" \ + custom_footer.html + - name: Generate documentation working-directory: docs/doxygen run: | diff --git a/docs/doxygen/custom_footer.html b/docs/doxygen/custom_footer.html index 3f0f302765..7bacc10432 100644 --- a/docs/doxygen/custom_footer.html +++ b/docs/doxygen/custom_footer.html @@ -19,6 +19,8 @@ + + - \ No newline at end of file +