Compare commits

..

No commits in common. "1dcd9727b4ad4021098e8e4b688ace2427501d62" and "a6a901d6ab72517bdcaa9d7f7beb50c4f56d277d" have entirely different histories.

View File

@ -177,20 +177,19 @@ jobs:
- name: Copy user guide to output directory - name: Copy user guide to output directory
run: | run: |
mkdir output/user-guide mkdir -p target/doc/user-guide
cp -r docs/book/* output/user-guide/ cp -r docs/book/* target/doc/user-guide/
- name: Add index.html to output directory - name: Add index.html to output directory
run: | run: |
cp .github/htmldocs/index.html output/index.html cp .github/htmldocs/index.html target/doc/index.html
cp .github/rustframe_logo.png output/rustframe_logo.png cp .github/rustframe_logo.png target/doc/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'
uses: actions/upload-pages-artifact@v3 uses: actions/upload-pages-artifact@v3
with: with:
# path: target/doc/ path: target/doc/
path: output/
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages
# if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' # if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'