Browse Source

Add default landing page for Pages

pull/30/head
Ian Chamberlain 1 year ago
parent
commit
e9464fe0bc
No known key found for this signature in database
GPG Key ID: AE5484D09405AA60
  1. 4
      .github/workflows/docs.yml

4
.github/workflows/docs.yml

@ -20,6 +20,10 @@ jobs:
- name: Build workspace docs - name: Build workspace docs
run: cargo 3ds --verbose doc --verbose --no-deps --workspace run: cargo 3ds --verbose doc --verbose --no-deps --workspace
env:
# TODO: might want a custom index page ?
# https://doc.rust-lang.org/rustdoc/unstable-features.html#--index-page-provide-a-top-level-landing-page-for-docs
RUSTDOCFLAGS: "--enable-index-page"
# https://github.com/actions/upload-pages-artifact#file-permissions # https://github.com/actions/upload-pages-artifact#file-permissions
- name: Fix file permissions - name: Fix file permissions

Loading…
Cancel
Save