Update output directory structure for user guide and index files

This commit is contained in:
Palash Tyagi 2025-08-03 23:15:54 +01:00
parent b62152b4f0
commit 1dcd9727b4

View File

@ -177,13 +177,13 @@ jobs:
- name: Copy user guide to output directory - name: Copy user guide to output directory
run: | run: |
mkdir -p target/doc/user-guide mkdir output/user-guide
cp -r docs/book/* output/user-guide/ cp -r docs/book/* output/user-guide/
- name: Add index.html to output directory - name: Add index.html to output directory
run: | run: |
cp .github/htmldocs/index.html target/doc/index.html cp .github/htmldocs/index.html output/index.html
cp .github/rustframe_logo.png target/doc/rustframe_logo.png cp .github/rustframe_logo.png output/rustframe_logo.png
- name: Upload Pages artifact - name: Upload Pages artifact
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'