dev: Update "Software Development" section.

1 files changed, 12 insertions, 4 deletions

diff --git a/dev.mdwn b/dev.mdwn
index 04c1ed8..1249370 100644
--- a/dev.mdwn
+++ b/dev.mdwn
@@ -37,15 +37,23 @@ Software Development
 <img src="/media/tango-64/preferences-system.png" alt="software development"
 class="icon-64-top-left">
 
-The two core components of the distribution build system, opkbuild and
-opkhelper, are in development.
+The ProteanOS community maintains and uses a number of distribution development
+and infrastructure tools.
 
-Also in development is [[opkbootstrap|dev/opkbootstrap]], a tool to install a
-basic ProteanOS root filesystem into a target directory.
+The [[ProteanOS_Archive_Manager|dev/pro-archman]] could use more testers and
+maintainers.
+
+Patches are welcome for other tools as well, including [opkbuild][],
+[[opkhelper|dev/opkhelper]], the [ProteanOS Developer Kit][prokit], and
+[Text::MarkdownBook][markdownbook].
 
 A simple build daemon infrastructure has been
 [[designed|dev/todo/buildd-infra]].
 
+[opkbuild]: http://git.proteanos.com/opkbuild/opkbuild.git/
+[prokit]: http://git.proteanos.com/prokit/prokit.git/
+[markdownbook]: http://git.proteanos.com/markdownbook/markdownbook.git/
+
 
 Technical Documentation
 =======================