2020-08-10 23:49:30 +03:00
|
|
|
# From https://github.com/rust-lang/mdBook/pull/1248
|
|
|
|
name: Book
|
2020-08-20 23:43:40 +03:00
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- master
|
2020-08-10 23:49:30 +03:00
|
|
|
jobs:
|
|
|
|
book:
|
|
|
|
name: Build and Deploy
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Checkout
|
|
|
|
uses: actions/checkout@v2
|
|
|
|
|
|
|
|
- name: Install mdbook
|
|
|
|
uses: peaceiris/actions-mdbook@v1
|
|
|
|
with:
|
|
|
|
mdbook-version: "0.3.7"
|
|
|
|
|
2020-08-24 00:10:52 +03:00
|
|
|
- name: Install Rust
|
|
|
|
uses: hecrj/setup-rust-action@v1
|
|
|
|
|
|
|
|
- name: Update apt
|
|
|
|
run: sudo apt-get update
|
|
|
|
- name: Install plantuml
|
|
|
|
run: sudo apt-get install plantuml
|
|
|
|
|
|
|
|
- name: Install mdbook-plantuml
|
|
|
|
run: cargo install mdbook-plantuml
|
|
|
|
|
2020-08-10 23:49:30 +03:00
|
|
|
- name: Generate book from markdown
|
|
|
|
run: |
|
|
|
|
cd book
|
|
|
|
mdbook build
|
2020-08-19 21:33:00 +03:00
|
|
|
|
|
|
|
- name: Generate rustdoc
|
|
|
|
run: |
|
2020-08-27 20:37:04 +03:00
|
|
|
cargo doc --no-deps --workspace --exclude widgetry --document-private-items
|
|
|
|
cd widgetry
|
2020-08-21 02:46:08 +03:00
|
|
|
cargo doc --no-deps --document-private-items
|
|
|
|
cd ..
|
2020-08-19 21:33:00 +03:00
|
|
|
mv target/doc book/book/rustdoc
|
|
|
|
|
2020-08-10 23:49:30 +03:00
|
|
|
- name: Publish HTML
|
|
|
|
uses: peaceiris/actions-gh-pages@v3
|
|
|
|
with:
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
publish_dir: ./book/book/
|