dev/prokit: Update for 2.0.0

And update manual pages, including new pages
dev/prokit/prokit-installer-pc.8 and dev/prokit/prokit-mkinitramfs.8.

10 files changed, 313 insertions, 43 deletions

diff --git a/dev/prokit.mdwn b/dev/prokit.mdwn
index 9d6dc88..53a2fc2 100644
--- a/dev/prokit.mdwn
+++ b/dev/prokit.mdwn
@@ -14,7 +14,7 @@ programs of Debian and derivatives.
 Downloading
 ===========
 
-The current version of prokit is [1.1.0][rel-ann].
+The current version of prokit is [2.0.0][rel-ann].
 
 prokit can be found on the ProteanOS files site by [HTTP][dl-http] or
 [FTP][dl-ftp].
@@ -22,7 +22,7 @@ prokit can be found on the ProteanOS files site by [HTTP][dl-http] or
 prokit is maintained in a [Git repository][repo-http], which can be cloned from
 `git://git.proteanos.com/prokit/prokit.git`.
 
-[rel-ann]: http://lists.proteanos.com/proteanos-dev/2014/10/msg00000.html
+[rel-ann]: http://lists.proteanos.com/proteanos-dev/2019/04/msg00004.html
 [dl-http]: http://files.proteanos.com/pub/prokit/
 [dl-ftp]: ftp://files.proteanos.com/pub/prokit/
 [repo-http]: http://git.proteanos.com/prokit/prokit.git/
@@ -49,3 +49,5 @@ Pages in the ProteanOS Development Kit Manual:
   * [[**prokit-shell**(8)|dev/prokit/prokit-shell.8]]
   * [[**prokit-opkg**(8)|dev/prokit/prokit-opkg.8]]
   * [[**prokit-build**(8)|dev/prokit/prokit-build.8]]
+  * [[**prokit-prokit-installer-pc**(8)|dev/prokit/prokit-prokit-installer-pc.8]]
+  * [[**prokit-mkinitramfs**(8)|dev/prokit/prokit-mkinitramfs.8]]
diff --git a/dev/prokit/prokit-build.8.mdwn b/dev/prokit/prokit-build.8.mdwn
index fefa5fc..e7ad25f 100644
--- a/dev/prokit/prokit-build.8.mdwn
+++ b/dev/prokit/prokit-build.8.mdwn
@@ -1,4 +1,4 @@
-[[!meta title="prokit-build"]]
+[[!meta title="PROKIT-BUILD"]]
 
 <a href="#NAME">NAME</a><br>
 <a href="#SYNOPSIS">SYNOPSIS</a><br>
@@ -13,8 +13,8 @@
 </h2>
 
 
-<p style="margin-left:11%; margin-top: 1em">prokit-build
-&minus; Build a package</p>
+<p style="margin-left:11%; margin-top: 1em">prokit-build -
+Build a package</p>
 
 <h2>SYNOPSIS
 <a name="SYNOPSIS"></a>
@@ -22,8 +22,7 @@
 
 
 <p style="margin-left:11%; margin-top: 1em"><b>prokit
-build</b> <i>root-dir</i> [<i>option</i> ...]
-<i>pkg-dir</i></p>
+build</b> <i>root</i> [<i>option</i> ...] <i>pkg-dir</i></p>
 
 <h2>DESCRIPTION
 <a name="DESCRIPTION"></a>
@@ -35,6 +34,10 @@ build</b></i> runs <b>opkbuild</b> to build a package in an
 isolated file system environment, temporarily installing any
 missing build dependencies.</p>
 
+<p style="margin-left:11%; margin-top: 1em">If <i>root</i>
+is a block device node, the block device is mounted and
+<b>opkbuild</b> is run in its file system.</p>
+
 <p style="margin-left:11%; margin-top: 1em"><i>option</i>s
 are <b>opkbuild</b> options. Run <i>prokit build -h .</i>
 for more information.</p>
@@ -48,7 +51,7 @@ is a source package directory.</p>
 
 
 <p style="margin-left:11%; margin-top: 1em">Copyright (C)
-2014 Patrick &quot;P. J.&quot; McDermott</p>
+2014 Patrick McDermott</p>
 
 <p style="margin-left:11%; margin-top: 1em">The ProteanOS
 Development Kit is free software: you can redistribute it
diff --git a/dev/prokit/prokit-help.1.mdwn b/dev/prokit/prokit-help.1.mdwn
index 733a358..f594457 100644
--- a/dev/prokit/prokit-help.1.mdwn
+++ b/dev/prokit/prokit-help.1.mdwn
@@ -1,4 +1,4 @@
-[[!meta title="prokit-help"]]
+[[!meta title="PROKIT-HELP"]]
 
 <a href="#NAME">NAME</a><br>
 <a href="#SYNOPSIS">SYNOPSIS</a><br>
@@ -13,8 +13,8 @@
 </h2>
 
 
-<p style="margin-left:11%; margin-top: 1em">prokit-help
-&minus; Print help information</p>
+<p style="margin-left:11%; margin-top: 1em">prokit-help -
+Print help information</p>
 
 <h2>SYNOPSIS
 <a name="SYNOPSIS"></a>
@@ -48,7 +48,7 @@ help</b> [<i>command</i>].</p>
 
 
 <p style="margin-left:11%; margin-top: 1em">Copyright (C)
-2014 Patrick &quot;P. J.&quot; McDermott</p>
+2014 Patrick McDermott</p>
 
 <p style="margin-left:11%; margin-top: 1em">The ProteanOS
 Development Kit is free software: you can redistribute it
diff --git a/dev/prokit/prokit-install.8.mdwn b/dev/prokit/prokit-install.8.mdwn
index 427f6a7..2f617d5 100644
--- a/dev/prokit/prokit-install.8.mdwn
+++ b/dev/prokit/prokit-install.8.mdwn
@@ -1,4 +1,4 @@
-[[!meta title="prokit-install"]]
+[[!meta title="PROKIT-INSTALL"]]
 
 <a href="#NAME">NAME</a><br>
 <a href="#SYNOPSIS">SYNOPSIS</a><br>
@@ -15,7 +15,7 @@
 
 
 <p style="margin-left:11%; margin-top: 1em">prokit-install
-&minus; Install a system into a directory</p>
+- Install a system into a directory</p>
 
 <h2>SYNOPSIS
 <a name="SYNOPSIS"></a>
@@ -24,8 +24,7 @@
 
 <p style="margin-left:11%; margin-top: 1em"><b>prokit
 install</b> [<b>-a</b> <i>arch</i>] [<b>-p</b> <i>plat</i>]
-[<b>-m</b> <i>mirror</i>] [<b>-F</b>] <i>suite
-root-dir</i></p>
+[<b>-m</b> <i>mirror</i>] [<b>-F</b>] <i>suite root</i></p>
 
 <h2>DESCRIPTION
 <a name="DESCRIPTION"></a>
@@ -34,7 +33,11 @@ root-dir</i></p>
 
 <p style="margin-left:11%; margin-top: 1em"><i><b>prokit
 install</b></i> installs a basic system of <i>suite</i> into
-<i>root-dir</i>.</p>
+<i>root</i>.</p>
+
+<p style="margin-left:11%; margin-top: 1em">If <i>root</i>
+is a block device node, the block device is mounted and a
+system is installed into its file system.</p>
 
 <p style="margin-left:11%; margin-top: 1em"><i>suite</i>
 can be a distribution like <i>trunk</i>; a channel and
@@ -49,26 +52,25 @@ channel, and distribution like
 
 
 
-<p style="margin-left:11%; margin-top: 1em"><b>&minus;a&nbsp;</b><i>arch</i></p>
+<p style="margin-left:11%; margin-top: 1em"><b>-a&nbsp;</b><i>arch</i></p>
 
 <p style="margin-left:22%;">Install packages built for the
 <i>arch</i> architecture instead of automatically detecting
 the architecture of the running system.</p>
 
-
-<p style="margin-left:11%;"><b>&minus;p&nbsp;</b><i>plat</i></p>
+<p style="margin-left:11%;"><b>-p&nbsp;</b><i>plat</i></p>
 
 <p style="margin-left:22%;">Install packages built for the
 <i>plat</i> platform instead of automatically choosing a
 default platform.</p>
 
 
-<p style="margin-left:11%;"><b>&minus;m&nbsp;</b><i>mirror</i></p>
+<p style="margin-left:11%;"><b>-m&nbsp;</b><i>mirror</i></p>
 
 <p style="margin-left:22%;">Download packages from
 <i>mirror</i> instead of automatically selecting one at
 random. <i>mirror</i> is a base URL like
-<i>http://mirror.gnu.dk/pub/proteanos</i>.</p>
+<i>http://us.mirror.gnu.dk/pub/proteanos</i>.</p>
 
 <table width="100%" border="0" rules="none" frame="void"
        cellspacing="0" cellpadding="0">
@@ -77,7 +79,7 @@ random. <i>mirror</i> is a base URL like
 <td width="3%">
 
 
-<p><b>&minus;F</b></p></td>
+<p><b>-F</b></p></td>
 <td width="8%"></td>
 <td width="78%">
 
@@ -92,7 +94,7 @@ for packages to be configured later.</p></td></tr>
 
 
 <p style="margin-left:11%; margin-top: 1em">Copyright (C)
-2014 Patrick &quot;P. J.&quot; McDermott</p>
+2014 Patrick McDermott</p>
 
 <p style="margin-left:11%; margin-top: 1em">The ProteanOS
 Development Kit is free software: you can redistribute it
diff --git a/dev/prokit/prokit-installer-pc.8.mdwn b/dev/prokit/prokit-installer-pc.8.mdwn
new file mode 100644
index 0000000..7b32be9
--- /dev/null
+++ b/dev/prokit/prokit-installer-pc.8.mdwn
@@ -0,0 +1,122 @@
+[[!meta title="PROKIT-INSTALLER-PC"]]
+
+<a href="#NAME">NAME</a><br>
+<a href="#SYNOPSIS">SYNOPSIS</a><br>
+<a href="#DESCRIPTION">DESCRIPTION</a><br>
+<a href="#OPTIONS">OPTIONS</a><br>
+<a href="#EXAMPLES">EXAMPLES</a><br>
+<a href="#COPYRIGHT">COPYRIGHT</a><br>
+
+<hr>
+
+
+<h2>NAME
+<a name="NAME"></a>
+</h2>
+
+
+
+<p style="margin-left:11%; margin-top: 1em">prokit-installer-pc
+- Install a PC system onto a block device</p>
+
+<h2>SYNOPSIS
+<a name="SYNOPSIS"></a>
+</h2>
+
+
+<p style="margin-left:11%; margin-top: 1em"><b>prokit
+installer-pc -a</b> <i>arch</i> <b>-p</b> <i>plat</i>
+[<b>-m</b> <i>mirror</i>] <i>suite device</i></p>
+
+<h2>DESCRIPTION
+<a name="DESCRIPTION"></a>
+</h2>
+
+
+<p style="margin-left:11%; margin-top: 1em"><i><b>prokit
+installer-pc</b></i> installs a basic PC system of
+<i>suite</i> onto <i>device</i>.</p>
+
+<p style="margin-left:11%; margin-top: 1em"><i>suite</i>
+can be a distribution like <i>trunk</i>; a channel and
+distribution like <i>dev/trunk</i>; a profile and
+distribution like <i>proteanos:trunk</i>; or a profile,
+channel, and distribution like
+<i>proteanos:dev/trunk</i>.</p>
+
+<p style="margin-left:11%; margin-top: 1em"><i>device</i>
+must be a block device file representing a whole storage
+device, not a partition.</p>
+
+<h2>OPTIONS
+<a name="OPTIONS"></a>
+</h2>
+
+
+
+<p style="margin-left:11%; margin-top: 1em"><b>-a&nbsp;</b><i>arch</i></p>
+
+<p style="margin-left:22%;">Install packages built for the
+<i>arch</i> architecture.</p>
+
+<p style="margin-left:11%;"><b>-p&nbsp;</b><i>plat</i></p>
+
+<p style="margin-left:22%;">Install packages built for the
+<i>plat</i> platform.</p>
+
+
+<p style="margin-left:11%;"><b>-m&nbsp;</b><i>mirror</i></p>
+
+<p style="margin-left:22%;">Download packages from
+<i>mirror</i> instead of automatically selecting one at
+random. <i>mirror</i> is a base URL like
+<i>http://us.mirror.gnu.dk/pub/proteanos</i>.</p>
+
+<h2>EXAMPLES
+<a name="EXAMPLES"></a>
+</h2>
+
+
+<table width="100%" border="0" rules="none" frame="void"
+       cellspacing="0" cellpadding="0">
+<tr valign="top" align="left">
+<td width="11%"></td>
+<td width="1%">
+
+
+<p style="margin-top: 1em">&bull;</p></td>
+<td width="10%"></td>
+<td width="78%">
+
+
+<p style="margin-top: 1em"># prokit installer-pc -a
+i686-linux-glibc -p x60 dev/trunk /dev/sdb</p></td></tr>
+</table>
+
+<h2>COPYRIGHT
+<a name="COPYRIGHT"></a>
+</h2>
+
+
+<p style="margin-left:11%; margin-top: 1em">Copyright (C)
+2014, 2015 Patrick McDermott</p>
+
+<p style="margin-left:11%; margin-top: 1em">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>
+
+<p style="margin-left:11%; margin-top: 1em">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>
+
+<p style="margin-left:11%; margin-top: 1em">You should have
+received a copy of the GNU General Public License along with
+the ProteanOS Development Kit. If not, see
+&lt;http://www.gnu.org/licenses/&gt;.</p>
+
diff --git a/dev/prokit/prokit-mkinitramfs.8.mdwn b/dev/prokit/prokit-mkinitramfs.8.mdwn
new file mode 100644
index 0000000..0b5381d
--- /dev/null
+++ b/dev/prokit/prokit-mkinitramfs.8.mdwn
@@ -0,0 +1,110 @@
+[[!meta title="PROKIT-MKINITRAMFS"]]
+
+<a href="#NAME">NAME</a><br>
+<a href="#SYNOPSIS">SYNOPSIS</a><br>
+<a href="#DESCRIPTION">DESCRIPTION</a><br>
+<a href="#OPTIONS">OPTIONS</a><br>
+<a href="#EXAMPLES">EXAMPLES</a><br>
+<a href="#COPYRIGHT">COPYRIGHT</a><br>
+
+<hr>
+
+
+<h2>NAME
+<a name="NAME"></a>
+</h2>
+
+
+
+<p style="margin-left:11%; margin-top: 1em">prokit-mkinitramfs
+- Generate an initramfs containing an installed system</p>
+
+<h2>SYNOPSIS
+<a name="SYNOPSIS"></a>
+</h2>
+
+
+<p style="margin-left:11%; margin-top: 1em"><b>prokit
+mkinitramfs -l</b> <i>linux-output</i> <b>-i</b>
+<i>initramfs-output root</i></p>
+
+<h2>DESCRIPTION
+<a name="DESCRIPTION"></a>
+</h2>
+
+
+<p style="margin-left:11%; margin-top: 1em"><i><b>prokit
+mkinitramfs</b></i> generates an initial RAM-based file
+system image containing an installed system found at
+<i>root</i>.</p>
+
+<p style="margin-left:11%; margin-top: 1em">If <i>root</i>
+is a block device node, the block device is mounted and the
+initial RAM-based file system is generated from the
+device&rsquo;s file system.</p>
+
+<h2>OPTIONS
+<a name="OPTIONS"></a>
+</h2>
+
+
+
+<p style="margin-left:11%; margin-top: 1em"><b>-l&nbsp;</b><i>linux-output</i></p>
+
+<p style="margin-left:22%;">Copy a Linux image from the
+system at <i>root</i> to <i>linux-output</i>.</p>
+
+
+<p style="margin-left:11%;"><b>-i&nbsp;</b><i>initramfs-output</i></p>
+
+<p style="margin-left:22%;">Write the initial RAM-based
+file system image to <i>initramfs-output</i>.</p>
+
+<h2>EXAMPLES
+<a name="EXAMPLES"></a>
+</h2>
+
+
+<table width="100%" border="0" rules="none" frame="void"
+       cellspacing="0" cellpadding="0">
+<tr valign="top" align="left">
+<td width="11%"></td>
+<td width="1%">
+
+
+<p style="margin-top: 1em">&bull;</p></td>
+<td width="10%"></td>
+<td width="78%">
+
+
+<p style="margin-top: 1em"># prokit mkinitramfs -l vmlinuz
+-i initrd.img $root</p></td></tr>
+</table>
+
+<h2>COPYRIGHT
+<a name="COPYRIGHT"></a>
+</h2>
+
+
+<p style="margin-left:11%; margin-top: 1em">Copyright (C)
+2016 Patrick McDermott</p>
+
+<p style="margin-left:11%; margin-top: 1em">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>
+
+<p style="margin-left:11%; margin-top: 1em">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>
+
+<p style="margin-left:11%; margin-top: 1em">You should have
+received a copy of the GNU General Public License along with
+the ProteanOS Development Kit. If not, see
+&lt;http://www.gnu.org/licenses/&gt;.</p>
+
diff --git a/dev/prokit/prokit-opkg.8.mdwn b/dev/prokit/prokit-opkg.8.mdwn
index 7fb3a30..2143aa0 100644
--- a/dev/prokit/prokit-opkg.8.mdwn
+++ b/dev/prokit/prokit-opkg.8.mdwn
@@ -1,4 +1,4 @@
-[[!meta title="prokit-opkg"]]
+[[!meta title="PROKIT-OPKG"]]
 
 <a href="#NAME">NAME</a><br>
 <a href="#SYNOPSIS">SYNOPSIS</a><br>
@@ -13,8 +13,8 @@
 </h2>
 
 
-<p style="margin-left:11%; margin-top: 1em">prokit-opkg
-&minus; Manage packages with opkg</p>
+<p style="margin-left:11%; margin-top: 1em">prokit-opkg -
+Manage packages with opkg</p>
 
 <h2>SYNOPSIS
 <a name="SYNOPSIS"></a>
@@ -22,8 +22,8 @@
 
 
 <p style="margin-left:11%; margin-top: 1em"><b>prokit
-opkg</b> <i>root-dir</i> [<i>option</i> ...]
-<i>sub-command</i> [<i>argument</i> ...]</p>
+opkg</b> <i>root</i> [<i>option</i> ...] <i>sub-command</i>
+[<i>argument</i> ...]</p>
 
 <h2>DESCRIPTION
 <a name="DESCRIPTION"></a>
@@ -34,6 +34,10 @@ opkg</b> <i>root-dir</i> [<i>option</i> ...]
 opkg</b> runs <b>opkg</b> in an isolated file system
 environment.</p>
 
+<p style="margin-left:11%; margin-top: 1em">If <i>root</i>
+is a block device node, the block device is mounted and
+<b>opkg</b> is run in its file system.</p>
+
 <p style="margin-left:11%; margin-top: 1em"><i>option</i>s
 are <b>opkg</b> options and <i>sub-command</i> is an
 <b>opkg</b> sub-command. See the usage information for
@@ -50,7 +54,7 @@ isolated system for installation.</p>
 
 
 <p style="margin-left:11%; margin-top: 1em">Copyright (C)
-2014 Patrick &quot;P. J.&quot; McDermott</p>
+2014 Patrick McDermott</p>
 
 <p style="margin-left:11%; margin-top: 1em">The ProteanOS
 Development Kit is free software: you can redistribute it
diff --git a/dev/prokit/prokit-shell.8.mdwn b/dev/prokit/prokit-shell.8.mdwn
index f454a0f..7466403 100644
--- a/dev/prokit/prokit-shell.8.mdwn
+++ b/dev/prokit/prokit-shell.8.mdwn
@@ -1,4 +1,4 @@
-[[!meta title="prokit-shell"]]
+[[!meta title="PROKIT-SHELL"]]
 
 <a href="#NAME">NAME</a><br>
 <a href="#SYNOPSIS">SYNOPSIS</a><br>
@@ -14,8 +14,8 @@
 </h2>
 
 
-<p style="margin-left:11%; margin-top: 1em">prokit-shell
-&minus; Run a shell in an isolated environment</p>
+<p style="margin-left:11%; margin-top: 1em">prokit-shell -
+Run a shell in an isolated environment</p>
 
 <h2>SYNOPSIS
 <a name="SYNOPSIS"></a>
@@ -23,7 +23,7 @@
 
 
 <p style="margin-left:11%; margin-top: 1em"><b>prokit
-shell</b> <i>root-dir</i> [<i>command</i> [<i>argument</i>
+shell</b> <i>root</i> [<i>command</i> [<i>argument</i>
 ...]]</p>
 
 <h2>DESCRIPTION
@@ -36,6 +36,10 @@ shell</b> starts a shell in an isolated file system
 environment (using <b>chroot</b>(8)) with basic file systems
 mounted.</p>
 
+<p style="margin-left:11%; margin-top: 1em">If <i>root</i>
+is a block device node, the block device is mounted and a
+shell is started in its file system.</p>
+
 <p style="margin-left:11%; margin-top: 1em">If a
 <i>command</i> is given (with optional <i>argument</i>s), it
 is executed in a non-interactive shell.</p>
@@ -71,6 +75,17 @@ world</p> </td></tr>
 
 <p># prokit shell $root &rsquo;opkg install
 build-essential-$(cat /etc/proteanos_arch)&rsquo;</p></td></tr>
+<tr valign="top" align="left">
+<td width="11%"></td>
+<td width="1%">
+
+
+<p>&bull;</p></td>
+<td width="10%"></td>
+<td width="78%">
+
+
+<p># prokit shell /dev/sdb1</p></td></tr>
 </table>
 
 <h2>COPYRIGHT
@@ -79,7 +94,7 @@ build-essential-$(cat /etc/proteanos_arch)&rsquo;</p></td></tr>
 
 
 <p style="margin-left:11%; margin-top: 1em">Copyright (C)
-2014 Patrick &quot;P. J.&quot; McDermott</p>
+2014 Patrick McDermott</p>
 
 <p style="margin-left:11%; margin-top: 1em">The ProteanOS
 Development Kit is free software: you can redistribute it
diff --git a/dev/prokit/prokit-version.1.mdwn b/dev/prokit/prokit-version.1.mdwn
index aa6cb4e..955d692 100644
--- a/dev/prokit/prokit-version.1.mdwn
+++ b/dev/prokit/prokit-version.1.mdwn
@@ -1,4 +1,4 @@
-[[!meta title="prokit-version"]]
+[[!meta title="PROKIT-VERSION"]]
 
 <a href="#NAME">NAME</a><br>
 <a href="#SYNOPSIS">SYNOPSIS</a><br>
@@ -14,7 +14,7 @@
 
 
 <p style="margin-left:11%; margin-top: 1em">prokit-version
-&minus; Print version information</p>
+- Print version information</p>
 
 <h2>SYNOPSIS
 <a name="SYNOPSIS"></a>
@@ -42,7 +42,7 @@ information for prokit.</p>
 
 
 <p style="margin-left:11%; margin-top: 1em">Copyright (C)
-2014 Patrick &quot;P. J.&quot; McDermott</p>
+2014 Patrick McDermott</p>
 
 <p style="margin-left:11%; margin-top: 1em">The ProteanOS
 Development Kit is free software: you can redistribute it
diff --git a/dev/prokit/prokit.1.mdwn b/dev/prokit/prokit.1.mdwn
index 4db796b..24d22ee 100644
--- a/dev/prokit/prokit.1.mdwn
+++ b/dev/prokit/prokit.1.mdwn
@@ -1,4 +1,4 @@
-[[!meta title="prokit"]]
+[[!meta title="PROKIT"]]
 
 <a href="#NAME">NAME</a><br>
 <a href="#SYNOPSIS">SYNOPSIS</a><br>
@@ -15,7 +15,7 @@
 </h2>
 
 
-<p style="margin-left:11%; margin-top: 1em">prokit &minus;
+<p style="margin-left:11%; margin-top: 1em">prokit -
 ProteanOS Development Kit</p>
 
 <h2>SYNOPSIS
@@ -49,7 +49,7 @@ program of Debian and derivatives.</p>
 <td width="3%">
 
 
-<p style="margin-top: 1em"><b>&minus;h</b></p></td>
+<p style="margin-top: 1em"><b>-h</b></p></td>
 <td width="8%"></td>
 <td width="38%">
 
@@ -62,7 +62,7 @@ program of Debian and derivatives.</p>
 <td width="3%">
 
 
-<p><b>&minus;V</b></p></td>
+<p><b>-V</b></p></td>
 <td width="8%"></td>
 <td width="38%">
 
@@ -104,13 +104,25 @@ environment</p>
 
 <p style="margin-left:22%;">Build a package</p>
 
+
+<p style="margin-left:11%;"><b>prokit-installer-pc</b>(8)</p>
+
+<p style="margin-left:22%;">Install a PC system onto a
+block device</p>
+
+
+<p style="margin-left:11%;"><b>prokit-mkinitramfs</b>(8)</p>
+
+<p style="margin-left:22%;">Generate an initramfs
+containing an installed system</p>
+
 <h2>COPYRIGHT
 <a name="COPYRIGHT"></a>
 </h2>
 
 
 <p style="margin-left:11%; margin-top: 1em">Copyright (C)
-2014 Patrick &quot;P. J.&quot; McDermott</p>
+2014 Patrick McDermott</p>
 
 <p style="margin-left:11%; margin-top: 1em">The ProteanOS
 Development Kit is free software: you can redistribute it