From 13acd1557e870f7c294f874ba85bedc9c694f2fd Mon Sep 17 00:00:00 2001
From: Stefan Lankes <lankes@lfbs.rwth-aachen.de>
Date: Wed, 13 Nov 2013 21:02:22 +0100
Subject: [PATCH] add ASCII art

---
 README.md | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 7ac9386..7e23157 100644
--- a/README.md
+++ b/README.md
@@ -47,11 +47,13 @@ Boot eduOS via grub
 2. Create a boot entry in the grub menu. This depends on the version of grub, which is used by 
    the installed Linux system. For instance, we added following lines to /boot/grub/grub.cfg:
 
-   \#\#\# BEGIN /etc/grub.d/40_custom \#\#\#
-   \# This file provides an easy way to add custom menu entries.  Simply type the
-   \# menu entries you want to add after this comment.  Be careful not to change
-   \# the 'exec tail' line above.
+<pre>
+   ### BEGIN /etc/grub.d/40_custom ###
+   # This file provides an easy way to add custom menu entries.  Simply type the
+   # menu entries you want to add after this comment.  Be careful not to change
+   # the 'exec tail' line above.
    menuentry "Boot eduOS!" {
           multiboot       /boot/eduos.bin
           boot
    }
+</pre>