From 0c034e35e0b6ec0674747f6596f16b8e80af7cbe Mon Sep 17 00:00:00 2001
From: Patrick McDermott <pehjota>
Date: Mon, 25 Jun 2018 00:09:24 -0400
Subject: 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).
---
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:
 
--
cgit v0.9.1