Fix documentation generation

* Formatting on Documenter.yml was incorrect * docs/Package.toml was missing * make.jl format option was out of date
JuliaCollections · Jan 30, 2021 · 18397c0 · 18397c0
1 parent 2f4acde
commit 18397c0
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 9 deletions.
diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml
@@ -1,18 +1,18 @@
 name: Documenter
 on:
-  push:
+ push:
  branches: [master]
  tags: [v*]
-  pull_request:
+ pull_request:
 
 jobs:
-  Documenter:
+ Documenter:
  name: Documentation
  runs-on: ubuntu-latest
  steps:
-  - uses: actions/checkout@v2
-  - uses: julia-actions/julia-buildpkg@latest
-  - uses: julia-actions/julia-docdeploy@latest
+ - uses: actions/checkout@v2
+ - uses: julia-actions/julia-buildpkg@latest
+ - uses: julia-actions/julia-docdeploy@latest
  env:
-  GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-  DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+ GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+ DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -0,0 +1,2 @@
+[deps]
+Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
diff --git a/docs/make.jl b/docs/make.jl
@@ -3,7 +3,9 @@ using OrderedCollections
 
 
 makedocs(
- format = :html,
+ format = Documenter.HTML(
+ prettyurls = get(ENV, "CI", nothing) == "true"
+ ),
  sitename = "OrderedCollections.jl",
  pages = [
  "index.md",