Converted the README file with rst format so that it can be easily converted

[barrelfish] / doc / 018-Practical-guide / cleanTex.awk

diff --git a/doc/018-Practical-guide/cleanTex.awk b/doc/018-Practical-guide/cleanTex.awk
index ad032f0..6b0b07e 100755 (executable)
--- a/doc/018-Practical-guide/cleanTex.awk
+++ b/doc/018-Practical-guide/cleanTex.awk
@@ -8,7 +8,7 @@ BEGIN {
     pr = 0
 }
 
-/{SUPPORTED} HARDWARE/ {
+/SUPPORTED HARDWARE/ {
     pr = 1
 }