From e58ee19839afbfa31e5c3c20416f73119c4f6be1 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 12 May 2020 03:17:35 -0700 Subject: [PATCH] move manuals to docs/ Summary: This will make versioning easier later. Reviewed By: ezgicicek Differential Revision: D21522101 fbshipit-source-id: 934e2426a --- website/docs/01-man-pages.md | 16 ++++++++-------- .../{static/man => docs}/infer-analyze.1.html | 0 .../{static/man => docs}/infer-capture.1.html | 0 .../{static/man => docs}/infer-compile.1.html | 0 .../{static/man => docs}/infer-explore.1.html | 0 website/{static/man => docs}/infer-report.1.html | 0 .../{static/man => docs}/infer-reportdiff.1.html | 0 website/{static/man => docs}/infer-run.1.html | 0 website/{static/man => docs}/infer.1.html | 0 9 files changed, 8 insertions(+), 8 deletions(-) rename website/{static/man => docs}/infer-analyze.1.html (100%) rename website/{static/man => docs}/infer-capture.1.html (100%) rename website/{static/man => docs}/infer-compile.1.html (100%) rename website/{static/man => docs}/infer-explore.1.html (100%) rename website/{static/man => docs}/infer-report.1.html (100%) rename website/{static/man => docs}/infer-reportdiff.1.html (100%) rename website/{static/man => docs}/infer-run.1.html (100%) rename website/{static/man => docs}/infer.1.html (100%) 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