From d6253c87f0c52dbbc29e94579d30b082e9e5850e Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Fri, 14 Nov 2014 00:02:30 -0500 Subject: doc/install/pc: Expand prokit name --- 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]]. -- cgit v0.9.1