From a246b668ec71707168e32cc73641bcf180361558 Mon Sep 17 00:00:00 2001
From: Patrick McDermott <pehjota>
Date: Sun, 28 Apr 2019 16:40:41 -0400
Subject: doc/install/pc: Update for prokit 2.0.0

---
(limited to 'doc')

diff --git a/doc/install/pc.mdwn b/doc/install/pc.mdwn
index 619ab60..dd421d5 100644
--- a/doc/install/pc.mdwn
+++ b/doc/install/pc.mdwn
@@ -2,10 +2,6 @@
 
 [[←_Back_to_Installing_ProteanOS|doc/install]]
 
-**NOTE:** These instructions use a feature in an unreleased version of the
-ProteanOS Development Kit.  You'll need to have built prokit from its Git
-repository to use the PC installer.
-
 This guide explains how to use the interactive installer program distributed
 with prokit, the ProteanOS Development Kit, to install ProteanOS on a PC
 platform.
@@ -52,7 +48,7 @@ If you installed prokit to your system, run:
 
 Otherwise, from your prokit build directory, run:
 
-    $ sudo src/prokit installer-pc -a $arch -p $plat dev/trunk $device
+    $ sudo ./prokit installer-pc -a $arch -p $plat dev/trunk $device
 
 Replace `$arch` with the architecture (e.g. `i686-linux-glibc`), `$plat` with
 the platform (e.g. `x60`), and `$device` with the device file name (e.g.
--
cgit v0.9.1