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.1in')

diff --git a/man/prokit-shell.1in b/man/prokit-shell.1in
deleted file mode 100644
index 956e88b..0000000
--- a/man/prokit-shell.1in
+++ /dev/null
@@ -1,39 +0,0 @@
-.TH prokit-shell 1 \
-"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