summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2012-05-27 01:39:41 (EDT)
committer P. J. McDermott <pjm@nac.net>2012-05-27 01:39:41 (EDT)
commitf5c36fd824ddc1f5eb6b7357681c18d83279e009 (patch)
treeece1329c2fc88ff762d612c15f704d768a086836
parent87dfad6dcbc89a59330c7e1e1c89dca04d1c85dd (diff)
Rearrange and retitle sections in "dev.html".
-rwxr-xr-xdev.html10
1 files changed, 5 insertions, 5 deletions
diff --git a/dev.html b/dev.html
index 37c0e33..857f360 100755
--- a/dev.html
+++ b/dev.html
@@ -1,16 +1,16 @@
<!--#set var="title" value="Development" -->
<!--#set var="pagetitle" value="Development" -->
<!--#include file="includes/header.html" -->
-<h2>Source Package Format</h2>
-<dl>
- <dt><a href="http://specs.os.pehjota.net/source-package-format-1.0.html">Source Package Format 1.0</a></dt>
- <dd>Source packages are developed according to this format.</dd>
-</dl>
<h2>Package 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>
</dl>
+<h2>Specifications</h2>
+<dl>
+ <dt><a href="http://specs.os.pehjota.net/source-package-format-1.0.html">Source Package Format 1.0</a></dt>
+ <dd>Source packages are developed according to this format.</dd>
+</dl>
<h2>Policies</h2>
<p>Packages must adhere to a number of policies for distribution as part of this operating system.</p>
<ul>