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

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