summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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