From 456c002c3cc59293c68b4532fb8b3086f52cd5e6 Mon Sep 17 00:00:00 2001 From: kaltokri Date: Fri, 20 Oct 2023 23:36:27 +0200 Subject: [PATCH] Fix for missing w3.css in DOCS repo --- .github/workflows/build-docs.yml | 2 +- Moose Development/docs-header.html | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml index c31b19a21..4a7bc1f8c 100644 --- a/.github/workflows/build-docs.yml +++ b/.github/workflows/build-docs.yml @@ -136,7 +136,7 @@ jobs: - name: Copy build result to MOOSE_DOCS run: | - cp ./build/doc/*.html ./build/MOOSE_DOCS/Documentation/ + cp ./build/doc/*.* ./build/MOOSE_DOCS/Documentation/ - name: Push result to docs repository if: ${{ vars.FORCE_PUSH == 'true' }} diff --git a/Moose Development/docs-header.html b/Moose Development/docs-header.html index e6613e196..e559ffff1 100644 --- a/Moose Development/docs-header.html +++ b/Moose Development/docs-header.html @@ -1,5 +1,4 @@ - - \ No newline at end of file + \ No newline at end of file