summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPatrick McDermott <pehjota>2019-04-28 16:40:41 (EDT)
committer Patrick McDermott <pehjota>2019-04-28 16:40:41 (EDT)
commita246b668ec71707168e32cc73641bcf180361558 (patch)
treeb13bf52d324decf79a325611f2940869ffeec879
parent1a7a419c4d05a8d037b6f3d5416267f3142707bc (diff)
doc/install/pc: Update for prokit 2.0.0
-rw-r--r--doc/install/pc.mdwn6
1 files changed, 1 insertions, 5 deletions
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.