1 files changed, 52 insertions, 0 deletions
diff --git a/man/prokit-install.1in b/man/prokit-install.1in
new file mode 100644
index 0000000..70e7ddf
--- /dev/null
+++ b/man/prokit-install.1in
@@ -0,0 +1,52 @@
+.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
+.sp
+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.
+.sp
+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.
+.sp
+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/>.