diff options
| author | Patrick McDermott <pehjota> | 2018-06-25 00:09:24 (EDT) |
|---|---|---|
| committer | Patrick McDermott <pehjota> | 2018-06-25 00:09:24 (EDT) |
| commit | 0c034e35e0b6ec0674747f6596f16b8e80af7cbe (patch) | |
| tree | 51be6b1f5213b626b9411f4b25ef5379fde115e7 /doc | |
| parent | 84887f06fd471657fd4a1309e2e618df67258fc0 (diff) | |
doc/install: Remove link to dev/prokit
Users might visit that page instead of doc/install/prokit, which
provides instructions to download, build, and install prokit (and links
to dev/prokit anyway).
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/install.mdwn | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/install.mdwn b/doc/install.mdwn index ab53b42..45b9c8d 100644 --- a/doc/install.mdwn +++ b/doc/install.mdwn @@ -3,9 +3,8 @@ There are two simple steps to downloading and installing ProteanOS. First, you need to download, build, and optionally install -[[prokit|dev/prokit]], the ProteanOS Development Kit. This software package -will allow you to install and manage ProteanOS systems. -[[Get_started!_→|doc/install/prokit]] +prokit, the ProteanOS Development Kit. This software package will allow you to +install and manage ProteanOS systems. [[Get_started!_→|doc/install/prokit]] Then, choose how and where to install ProteanOS: |