Add "dev.html".

1 files changed, 21 insertions, 0 deletions

diff --git a/dev.html b/dev.html
new file mode 100755
index 0000000..37c0e33
--- /dev/null
+++ b/dev.html
@@ -0,0 +1,21 @@
+<!--#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>Policies</h2>
+<p>Packages must adhere to a number of policies for distribution as part of this operating system.</p>
+<ul>
+	<li><a href="http://policies.os.pehjota.net/packaging.html">Packaging Policy</a></li>
+	<li><a href="http://policies.os.pehjota.net/filesystem.html">Filesystem Hierarchy Policy</a></li>
+	<li><a href="http://policies.os.pehjota.net/software.html">Software Inclusion Policy</a></li>
+</ul>
+<!--#include file="includes/footer.html" -->