Converted the README file with rst format so that it can be easily converted
[barrelfish] / doc / 018-Practical-guide / cleanTex.awk
index ad032f0..6b0b07e 100755 (executable)
@@ -8,7 +8,7 @@ BEGIN {
     pr = 0
 }
 
-/{SUPPORTED} HARDWARE/ {
+/SUPPORTED HARDWARE/ {
     pr = 1
 }