From c90b9e71b9c99a8b1e1c1732408056c6249fb78b Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pehjota>
Date: Mon, 16 Jun 2014 23:22:30 -0400
Subject: doc/plat/porting: Use wiki URL and backquotes.

---
(limited to 'doc')

diff --git a/doc/plat/porting.mdwn b/doc/plat/porting.mdwn
index dc829c5..26e8363 100644
--- a/doc/plat/porting.mdwn
+++ b/doc/plat/porting.mdwn
@@ -13,15 +13,15 @@ ProteanOS!).
 Set Up a ProteanOS System
 =========================
 
-Get miniprokit, the "Mini ProteanOS Development Kit", as instructed here:
-<http://www.proteanos.com/get/>.
+Get miniprokit, the "Mini ProteanOS Development Kit", as instructed on the
+[[download_page|get]].
 
 Connect the storage medium (e.g. a hard disk drive connected using a USB
 adapter/dock or a USB flash drive).  On it, create one primary partition of type
 0x83 (Linux) and mark it as bootable.  cfdisk, sfdisk, or fdisk can be used for
 this.
 
-Run the following commands (replacing "/dev/sdc1" with the path to the newly
+Run the following commands (replacing `/dev/sdc1` with the path to the newly
 created partition) to make and mount an ext4 file system, install ProteanOS into
 it, and enter a ProteanOS shell:
 
--
cgit v0.9.1