diff --git a/website/docs/01-man-pages.md b/website/docs/01-man-pages.md
index 496681733..db43619b9 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](/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)
+- [infer](infer.1.html)
+- [infer-analyze](infer-analyze.1.html)
+- [infer-capture](infer-capture.1.html)
+- [infer-compile](infer-compile.1.html)
+- [infer-explore](infer-explore.1.html)
+- [infer-report](infer-report.1.html)
+- [infer-reportdiff](infer-reportdiff.1.html)
+- [infer-run](infer-run.1.html)
diff --git a/website/static/man/infer-analyze.1.html b/website/docs/infer-analyze.1.html
similarity index 100%
rename from website/static/man/infer-analyze.1.html
rename to website/docs/infer-analyze.1.html
diff --git a/website/static/man/infer-capture.1.html b/website/docs/infer-capture.1.html
similarity index 100%
rename from website/static/man/infer-capture.1.html
rename to website/docs/infer-capture.1.html
diff --git a/website/static/man/infer-compile.1.html b/website/docs/infer-compile.1.html
similarity index 100%
rename from website/static/man/infer-compile.1.html
rename to website/docs/infer-compile.1.html
diff --git a/website/static/man/infer-explore.1.html b/website/docs/infer-explore.1.html
similarity index 100%
rename from website/static/man/infer-explore.1.html
rename to website/docs/infer-explore.1.html
diff --git a/website/static/man/infer-report.1.html b/website/docs/infer-report.1.html
similarity index 100%
rename from website/static/man/infer-report.1.html
rename to website/docs/infer-report.1.html
diff --git a/website/static/man/infer-reportdiff.1.html b/website/docs/infer-reportdiff.1.html
similarity index 100%
rename from website/static/man/infer-reportdiff.1.html
rename to website/docs/infer-reportdiff.1.html
diff --git a/website/static/man/infer-run.1.html b/website/docs/infer-run.1.html
similarity index 100%
rename from website/static/man/infer-run.1.html
rename to website/docs/infer-run.1.html
diff --git a/website/static/man/infer.1.html b/website/docs/infer.1.html
similarity index 100%
rename from website/static/man/infer.1.html
rename to website/docs/infer.1.html