From 0c034e35e0b6ec0674747f6596f16b8e80af7cbe Mon Sep 17 00:00:00 2001 From: Patrick McDermott 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