scripts: Make gltxt.py parse EGL specs correctly (issue #134).

diff --git a/specs/scripts/gltxt.py b/specs/scripts/gltxt.py
index 08b6a5774a77cf1a15f30353f30d1a658ec5f138..be95d80bcbb3f310c263722cede8dfac1f2cd26f 100755 (executable)
--- a/specs/scripts/gltxt.py
+++ b/specs/scripts/gltxt.py
@@ -134,6 +134,8 @@ class TxtParser(LineParser):
                 break
             self.consume()
             name = line.strip()
+            if name.startswith('EGL_'):
+                self.prefix = ''
             print '    # %s' % name
 
     def skip_c_comments(self):
@@ -157,7 +159,7 @@ class TxtParser(LineParser):
             if not line.strip():
                 self.consume()
                 continue
-            if not line.startswith(' '):
+            if not line[0].isspace():
                 break
             self.consume()
             lines.append(line.strip())
@@ -221,7 +223,7 @@ class TxtParser(LineParser):
 
 def main():
     optparser = optparse.OptionParser(
-        usage="\n\t%prog [options] [SPEC] ")
+        usage="\n\t%prog [options] [URL|TXT] ...")
     optparser.add_option(
         '-p', '--prefix', metavar='STRING',
         type="string", dest="prefix", default='gl',