diff --git a/website/docs/01-man-pages.md b/website/docs/01-man-pages.md index 35622bf07..496681733 100644 --- a/website/docs/01-man-pages.md +++ b/website/docs/01-man-pages.md @@ -5,11 +5,11 @@ title: Infer Manuals Here are the man pages for all the infer commands: -- [infer](/static/man/infer.1.html) -- [infer-analyze](/static/man/infer-analyze.1.html) -- [infer-capture](/static/man/infer-capture.1.html) -- [infer-compile](/static/man/infer-compile.1.html) -- [infer-explore](/static/man/infer-explore.1.html) -- [infer-report](/static/man/infer-report.1.html) -- [infer-reportdiff](/static/man/infer-reportdiff.1.html) -- [infer-run](/static/man/infer-run.1.html) +- [infer](/man/infer.1.html) +- [infer-analyze](/man/infer-analyze.1.html) +- [infer-capture](/man/infer-capture.1.html) +- [infer-compile](/man/infer-compile.1.html) +- [infer-explore](/man/infer-explore.1.html) +- [infer-report](/man/infer-report.1.html) +- [infer-reportdiff](/man/infer-reportdiff.1.html) +- [infer-run](/man/infer-run.1.html) diff --git a/website/docs/04-internal-API.md b/website/docs/04-internal-API.md index 7dff77755..1cdf3fe92 100644 --- a/website/docs/04-internal-API.md +++ b/website/docs/04-internal-API.md @@ -4,9 +4,9 @@ title: Infer Internal OCaml Modules API --- The generated OCaml documentation for the latest release of infer can be found -[here](/static/odoc/latest/index.html). You can generate these pages from within +[here](/odoc/latest/index.html). You can generate these pages from within an infer git checkout with `make doc`. You can also browse the following specific versions: -- [0.15.0](/static/odoc/0.15.0/index.html) +- [0.15.0](/odoc/0.15.0/index.html)