summaryrefslogtreecommitdiffstats
path: root/dev.html
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2012-05-29 17:43:17 (EDT)
committer P. J. McDermott <pjm@nac.net>2012-05-29 17:43:17 (EDT)
commita790f42f412a61500c3261947eb41bfc4be2ee6b (patch)
treed21f54e0ee1e99a2157e798c43b77381b4fb3b3b /dev.html
parent6882844902e6607f842a414b68eb0bd67584229f (diff)
Expand the source repositories list.
Diffstat (limited to 'dev.html')
-rwxr-xr-xdev.html10
1 files changed, 7 insertions, 3 deletions
diff --git a/dev.html b/dev.html
index ff616d8..1d76cd2 100755
--- a/dev.html
+++ b/dev.html
@@ -1,10 +1,14 @@
<!--#set var="title" value="Development" -->
<!--#set var="pagetitle" value="Development" -->
<!--#include file="includes/header.html" -->
-<h2>Package Source Repositories</h2>
+<h2>Source Repositories</h2>
<dl>
- <dt><a href="http://git.os.pehjota.net/pkg/">Git Repositories</a></dt>
- <dd>Most source packages are maintained in Git repositories.</dd>
+ <dt><a href="http://git.os.pehjota.net/pkg/">Packages in Git</a></dt>
+ <dd>Most source packages are maintained in Git repositories. To assist in the maintenance of a package, coordinate with its maintainer(s) and the <a href="http://www.pehjota.net/contact.html">system administrator</a>.</dd>
+ <dt><a href="http://git.os.pehjota.net/notes/">Notes, specifications, and policies</a></dt>
+ <dd>Specifications and policies are maintained in Git repositories.</dd>
+ <dt><a href="http://git.os.pehjota.net/www/">Web site</a></dt>
+ <dd>These Web pages are maintained in a Git repository.</dd>
</dl>
<h2>Specifications</h2>
<dl>