Updated the README and Practical guide so that they have instructions
[barrelfish] / doc / 018-Practical-guide / cleanTex.awk
index 6b0b07e..f142d91 100755 (executable)
@@ -4,11 +4,11 @@ BEGIN {
     pr = 0
 }
 
-/KNOWN ISSUES/ {
+/Generating Documentation/ {
     pr = 0
 }
 
-/SUPPORTED HARDWARE/ {
+/Barrelfish Overview/ {
     pr = 1
 }