Use rustdoc as subdir name

pull/70/head
Wilfred Hughes 2021-11-21 19:03:13 +07:00
parent b64f7a47d7
commit e53b6f4212
1 changed files with 1 additions and 1 deletions

@ -32,7 +32,7 @@ jobs:
working-directory: manual
- name: Add rustdoc output
run: cp -r target/doc manual/book
run: cp -r target/doc manual/book/rustdoc
- name: Deploy to GitHub pages
uses: JamesIves/github-pages-deploy-action@4.1.6