From 5a32c08235d02f41230d8017a4e2d922b2522cfb Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 29 May 2014 10:15:21 +0200
Subject: [PATCH] doc: markup-fix in doc/porting_guide.txt

---
 doc/porting_guide.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/porting_guide.txt b/doc/porting_guide.txt
index 0511c143b..e92d75a55 100644
--- a/doc/porting_guide.txt
+++ b/doc/porting_guide.txt
@@ -232,7 +232,7 @@ The DosBox port can now be prepared by executing
 
 However, we get the following error message:
 
-  Error: <rep-dir>/ports/dosbox.port is out of date, expected <fingerprint>
+! Error: <rep-dir>/ports/dosbox.port is out of date, expected <fingerprint>
 
 We get this message because we had specified the "dummy" hash value in
 the _dosbox.hash_ file. The prepare_port tool computes a fingerprint