summaryrefslogtreecommitdiffstats
path: root/doc/install
diff options
context:
space:
mode:
authorP. J. McDermott <pehjota>2014-11-14 00:02:30 (EST)
committer P. J. McDermott <pj@pehjota.net>2014-11-14 00:02:30 (EST)
commitd6253c87f0c52dbbc29e94579d30b082e9e5850e (patch)
tree6b8f0914a760bfb30e739be3881e9150386fd7ac /doc/install
parent47c0516c58ad9e48a9e6ae0a607a390b18cc87b4 (diff)
doc/install/pc: Expand prokit name
Diffstat (limited to 'doc/install')
-rw-r--r--doc/install/pc.mdwn3
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]].