diff options
| author | P. J. McDermott <pehjota> | 2014-11-14 00:02:30 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-11-14 00:02:30 (EST) |
| commit | d6253c87f0c52dbbc29e94579d30b082e9e5850e (patch) | |
| tree | 6b8f0914a760bfb30e739be3881e9150386fd7ac /doc/install | |
| parent | 47c0516c58ad9e48a9e6ae0a607a390b18cc87b4 (diff) | |
doc/install/pc: Expand prokit name
Diffstat (limited to 'doc/install')
| -rw-r--r-- | doc/install/pc.mdwn | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/install/pc.mdwn b/doc/install/pc.mdwn index 4fe0982..06f8bf8 100644 --- a/doc/install/pc.mdwn +++ b/doc/install/pc.mdwn @@ -6,7 +6,8 @@ repository to use the PC installer. The installer interface is also subject to change. This guide explains how to use the interactive installer program distributed -with prokit to install ProteanOS on a PC platform. +with prokit, the ProteanOS Development Kit, to install ProteanOS on a PC +platform. It is assumed that you have already [[built_and_optionally_installed_prokit|doc/install/prokit]]. |