summaryrefslogtreecommitdiffstats
path: root/dev.html
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2012-05-30 15:11:19 (EDT)
committer P. J. McDermott <pjm@nac.net>2012-05-30 15:11:19 (EDT)
commit58b4f80c6a0895ebae8a21cf237250d29e28d124 (patch)
treeea94937aba50f20a172387a515e88959169f51ea /dev.html
parentdf246893e22a45fb5ab09359dbeea958648bdd2a (diff)
Change URL to documentation repositories.
Diffstat (limited to 'dev.html')
-rwxr-xr-xdev.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/dev.html b/dev.html
index 58da2d0..5300fd1 100755
--- a/dev.html
+++ b/dev.html
@@ -5,7 +5,7 @@
<dl>
<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>
+ <dt><a href="http://git.os.pehjota.net/doc/">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>