From 771ad680a2012a333021d48588d2a76ae8135f9b Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pehjota>
Date: Mon, 16 Jun 2014 23:18:43 -0400
Subject: doc/plat/porting: Upgrade headers.

---
(limited to 'doc')

diff --git a/doc/plat/porting.mdwn b/doc/plat/porting.mdwn
index e3a03a7..dc829c5 100644
--- a/doc/plat/porting.mdwn
+++ b/doc/plat/porting.mdwn
@@ -11,7 +11,7 @@ computer that ProteanOS already supports (in which case, just go install
 ProteanOS!).
 
 Set Up a ProteanOS System
--------------------------
+=========================
 
 Get miniprokit, the "Mini ProteanOS Development Kit", as instructed here:
 <http://www.proteanos.com/get/>.
@@ -31,7 +31,7 @@ it, and enter a ProteanOS shell:
     # /path/to/miniprokit.sh shell /mnt
 
 Install, Configure, and Build the `linux-libre` Source Package
---------------------------------------------------------------
+==============================================================
 
 Choose a platform on which this new platform will be based.  In this tutorial,
 `ao751h` is used.
@@ -65,7 +65,7 @@ other than `dev`:
     /usr/src/linux-libre_3.10.40~gnu-2 # opkbuild -bcdP dimension2400
 
 Make the System Bootable
-------------------------
+========================
 
 Install the newly built linux-image package:
 
@@ -91,7 +91,7 @@ The storage medium can then be removed and connected to the target computer.
 Boot it!
 
 Make a `config-*` Source Package
---------------------------------
+================================
 
 Once the `linux-libre` configuration is tested to boot and support all the
 relevant hardware and features, a configuration package should be made.
--
cgit v0.9.1