From 6cdcdb5bc9a8b0050667d657df920e7aceea57bc Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pehjota>
Date: Thu, 09 Jul 2015 13:19:59 -0400
Subject: doc/install/prokit: Mention AUR packages

---
(limited to 'doc/install/prokit.mdwn')

diff --git a/doc/install/prokit.mdwn b/doc/install/prokit.mdwn
index a9c0c84..efb94d0 100644
--- a/doc/install/prokit.mdwn
+++ b/doc/install/prokit.mdwn
@@ -37,9 +37,17 @@ Or clone it from the [Git repository][prokit-git]:
 To install ProteanOS on a supported PC, currently you'll need to get prokit from
 its Git repository.
 
+Users of Parabola GNU/Linux-libre and Arch [GNU/]Linux can find prokit packages
+in the AUR (thanks to Serge Victor):
+
+  * [prokit][aur-prokit]
+  * [prokit-git][aur-prokit-git]
+
 [prokit-http]: http://files.proteanos.com/pub/prokit/
 [prokit-ftp]: ftp://files.proteanos.com/pub/prokit/
 [prokit-git]: http://git.proteanos.com/prokit/prokit.git/
+[aur-prokit]: https://aur4.archlinux.org/packages/prokit/
+[aur-prokit-git]: https://aur4.archlinux.org/packages/prokit-git/
 
 
 Building the ProteanOS Development Kit
--
cgit v0.9.1