From 5db5ecb69c9f720a9ba214a58a05cd3dddc69d09 Mon Sep 17 00:00:00 2001 From: Vasileios Karakasis Date: Mon, 22 Jun 2020 20:02:24 +0200 Subject: [PATCH] Create man pages in proper man subdirectories --- docs/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index 538b2af6a1..8f2eccac26 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -38,7 +38,9 @@ TARGET_DOCS := \ coverage latest: - @make html man + @make html + @make man && mkdir -p man/man1 man/man8 && \ + mv man/reframe.1 man/man1/ && mv man/reframe.settings.8 man/man8/ @touch html/.nojekyll clean: