mpimcexec: Man page

Change-Id: I99ea2821500cc1cfadc912d93c88d308b92ed9cf
2018-06-15 11:55:59 +09:00
parent cd63ec877d
commit d9ff940528
4 changed files with 63 additions and 1 deletions
--- a/Makefile.in
+++ b/Makefile.in
@@ -59,6 +59,7 @@ install:
 		install -m 644 kernel/include/swapfmt.h $(INCDIR); \
 		mkdir -p -m 755 $(MANDIR)/man1; \
 		install -m 644 arch/x86_64/tools/mcreboot.1 $(MANDIR)/man1/mcreboot.1; \
+		install -m 644 arch/x86_64/tools/mpimcexec.1 $(MANDIR)/man1/mpimcexec.1; \
 		;; \
 	    *) \
 		echo "unknown target $(TARGET)" >&2 \