1 files changed, 12 insertions, 12 deletions

diff --git a/microkernel/building.mdwn b/microkernel/building.mdwn
index e06092a0..4a18423f 100644
--- a/microkernel/building.mdwn
+++ b/microkernel/building.mdwn
@@ -10,37 +10,37 @@ is included in the section entitled
 
 ## Viengoos build
 
-### Checkout hurd-l4
+Checkout hurd-l4:
 
     cvs -z3 -d :pserver:anonymous@cvs.savannah.gnu.org:/sources/hurd co hurd-l4
 
 Apply hurd-l4/libl4/ patch to change to gs:0 on line 35.
 
-### Configure
+Configure:
 
     autoreconf -i
     mkdir test build
 
-### Make check on test (fails to complete as on July 7, 2008)
+Make check on test (fails to complete as on July 7, 2008):
 
     cd test
     ../configure --enable-l4-abi=x2 --host=i686-pc-viengoos-gnu --enable-tests
     make check
 
-### Build the compiler
+Build the compiler:
 
     cd ../build
     ../configure --enable-l4-abi=x2 --host=i686-pc-viengoos-gnu --with-newlib
 
-### Build cross-compiler
+Build cross-compiler:
 
     make
 
-### Build Viengoos proper
+Build Viengoos proper:
 
     make
 
-### Install the built executables
+Install the built executables:
 
     cd ..
     mkdir install
@@ -50,18 +50,18 @@ Apply hurd-l4/libl4/ patch to change to gs:0 on line 35.
 
 ## BUILD L4
 
-### Get Pistachio using hg
+Get Pistachio using hg:
 
     hg clone http://hg.l4ka.org/l4ka-pistachio
 
-### Build
+Build:
 
    cd kernel
 
    make BUILDDIR=build
    cd build
 
-Check Makeconf.local
+Check Makeconf.local:
 
     make menuconfig
     Kernel->Enable experimental features->Pager ExchangeRegisters
@@ -97,8 +97,8 @@ Use the following to boot:
 
 At grub prompt:
 
-   grub> root (hd0,0)
+    grub> root (hd0,0)
 
-   grub> configfile /menu.lst
+    grub> configfile /menu.lst
 
 It will boot to a kernel debugger prompt.