summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-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.