Move some manuals to section 8

1 files changed, 0 insertions, 52 deletions

diff --git a/man/prokit-install.1in b/man/prokit-install.1in
deleted file mode 100644
index eb1f013..0000000
--- a/man/prokit-install.1in
+++ /dev/null
@@ -1,52 +0,0 @@
-.TH prokit-install 1 \
-"2014-08-25" "@PACKAGE_NAME@ @PACKAGE_VERSION@" "@MANUAL@"
-
-.SH NAME
-prokit-install \- Install a system into a directory
-
-.SH SYNOPSIS
-\fBprokit install\fP [\fB-a\fP \fIarch\fP] [\fB-p\fP \fIplat\fP]
-[\fB-m\fP \fImirror\fP] [\fB-F\fP] \fIsuite\fP \fIroot-dir\fP
-
-.SH DESCRIPTION
-\fBprokit install\fP installs a basic system of \fIsuite\fP into \fIroot-dir\fP.
-.P
-\fIsuite\fP can be a distribution like \fItrunk\fP; a channel and distribution
-like \fIdev/trunk\fP; a profile and distribution like \fIproteanos:trunk\fP; or
-a profile, channel, and distribution like \fIproteanos:dev/trunk\fP.
-
-.SH OPTIONS
-.TP
-.BI \-a \ arch
-Install packages built for the \fIarch\fP architecture instead of automatically
-detecting the architecture of the running system.
-.TP
-.BI \-p \ plat
-Install packages built for the \fIplat\fP platform instead of automatically
-choosing a default platform.
-.TP
-.BI \-m \ mirror
-Download packages from \fImirror\fP instead of automatically selecting one at
-random.  \fImirror\fP is a base URL like
-\fIhttp://mirror.gnu.dk/pub/proteanos\fP.
-.TP
-.BI \-F
-Unpack but do not configure packages.  Instead, arrange for packages to be
-configured later.
-
-.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/>.