From d6bd6dd94faa21ee19da52c1cbb756b43bb523f2 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Mon, 01 Sep 2014 17:42:47 -0400
Subject: Move some manuals to section 8

---
(limited to 'man/prokit-shell.8in')

diff --git a/man/prokit-shell.8in b/man/prokit-shell.8in
new file mode 100644
index 0000000..f42b15a
--- /dev/null
+++ b/man/prokit-shell.8in
@@ -0,0 +1,39 @@
+.TH prokit-shell 8 \
+"2014-09-01" "@PACKAGE_NAME@ @PACKAGE_VERSION@" "@MANUAL@"
+
+.SH NAME
+prokit-shell \- Run a shell in an isolated environment
+
+.SH SYNOPSIS
+\fBprokit shell\fP \fIroot-dir\fP [\fIcommand\fP [\fIargument\fP ...]]
+
+.SH DESCRIPTION
+\fBprokit shell\fP starts a shell in an isolated file system environment (using
+\fBchroot\fP(8)) with basic file systems mounted.
+.P
+If a \fIcommand\fP is given (with optional \fIargument\fPs), it is executed in a
+non-interactive shell.
+
+.SH EXAMPLES
+
+.IP \[bu]
+# prokit shell $root echo Hello world
+.IP \[bu]
+# prokit shell $root 'opkg install build-essential-$(cat /etc/proteanos_arch)'
+
+.SH COPYRIGHT
+Copyright (C) 2014  Patrick "P. J." McDermott
+.P
+The ProteanOS Development Kit is free software: you can redistribute
+it and/or modify it under the terms of the GNU General Public License
+as published by the Free Software Foundation, either version 3 of the
+License, or (at your option) any later version.
+.P
+The ProteanOS Development Kit is distributed in the hope that it
+will be useful, but WITHOUT ANY WARRANTY; without even the implied
+warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+See the GNU General Public License for more details.
+.P
+You should have received a copy of the GNU General Public License
+along with the ProteanOS Development Kit.  If not, see
+<http://www.gnu.org/licenses/>.
--
cgit v0.9.1