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).
---
(limited to 'doc/plat')

--
cgit v0.9.1