search

leanprover / doc-gen4

Document Generator for Lean 4
Apache License 2.0
62 stars 41 forks source link

doc: fix path to root of docs #169

Closed chabulhwi closed 9 months ago

chabulhwi commented 9 months ago

Correct the path to the root of the built docs.