summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorP. J. McDermott <pehjota>2014-11-14 00:08:19 (EST)
committer P. J. McDermott <pj@pehjota.net>2014-11-14 00:08:19 (EST)
commitd97f4e210c3dc0489e287c44ccbbc730c174b639 (patch)
tree58345ec0d72ad1ab92dabc329391bffe3f5fa50a /doc
parentb0c1af8fc1cd07cfe371e08009ee2e802caedaef (diff)
doc/legal: Expand prokit name
Diffstat (limited to 'doc')
-rw-r--r--doc/legal.mdwn4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/legal.mdwn b/doc/legal.mdwn
index a18822c..0a2afc0 100644
--- a/doc/legal.mdwn
+++ b/doc/legal.mdwn
@@ -25,8 +25,8 @@ run the following command:
# opkg info file | grep '^Source: '
Source: file
-Or using prokit, run the following, where `$root` is the path to your ProteanOS
-system's root:
+Or if you use prokit, the ProteanOS Development Kit, run the following, where
+`$root` is the path to your ProteanOS system's root:
$ sudo prokit opkg $root info file | grep '^Source: '
Source: file