Updated the README and Practical guide so that they have instructions

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

diff --git a/doc/018-Practical-guide/cleanTex.awk b/doc/018-Practical-guide/cleanTex.awk
index 6b0b07e..f142d91 100755 (executable)
--- a/doc/018-Practical-guide/cleanTex.awk
+++ b/doc/018-Practical-guide/cleanTex.awk
@@ -4,11 +4,11 @@ BEGIN {
     pr = 0
 }
 
-/KNOWN ISSUES/ {
+/Generating Documentation/ {
     pr = 0
 }
 
-/SUPPORTED HARDWARE/ {
+/Barrelfish Overview/ {
     pr = 1
 }