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

diff --git a/man/prokit-build.8in b/man/prokit-build.8in
new file mode 100644
index 0000000..77ed078
--- /dev/null
+++ b/man/prokit-build.8in
@@ -0,0 +1,34 @@
+.TH prokit-build 8 \
+"2014-09-01" "@PACKAGE_NAME@ @PACKAGE_VERSION@" "@MANUAL@"
+
+.SH NAME
+prokit-build \- Build a package
+
+.SH SYNOPSIS
+\fBprokit build\fP \fIroot-dir\fP [\fIoption\fP ...] \fIpkg-dir\fP
+
+.SH DESCRIPTION
+\fBprokit build\fP runs \fBopkbuild\fP to build a package in an isolated file
+system environment, temporarily installing any missing build dependencies.
+.P
+\fIoption\fPs are \fBopkbuild\fP options.  Run \fIprokit build -h .\fP for more
+information.
+.P
+\fIpkg-dir\fP is a source package directory.
+
+.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