From 058a3c551d9b3402bef9ebf89151e20e4897e080 Mon Sep 17 00:00:00 2001
From: Patrick McDermott <pehjota>
Date: Sat, 23 Mar 2019 14:43:35 -0400
Subject: Merge remote-tracking branch 'origin/master'

Conflicts:
	dev/archive/signing.mdwn
---
(limited to 'doc/install.mdwn')

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