diff options
author | Patrick McDermott <pehjota> | 2019-04-28 16:40:41 (EDT) |
---|---|---|
committer | Patrick McDermott <pehjota> | 2019-04-28 16:40:41 (EDT) |
commit | a246b668ec71707168e32cc73641bcf180361558 (patch) | |
tree | b13bf52d324decf79a325611f2940869ffeec879 /doc | |
parent | 1a7a419c4d05a8d037b6f3d5416267f3142707bc (diff) |
doc/install/pc: Update for prokit 2.0.0
Diffstat (limited to 'doc')
-rw-r--r-- | doc/install/pc.mdwn | 6 |
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. |