X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=parse-all-xml;h=c1282e03ff3bf6476afb81d3824526303762f18c;hb=992e58c9b4d996d98e26c55151201ff1216b4d08;hp=c4146fc0194b17b7c82cb3c038f104e068d6d686;hpb=e1ef9687ac5b24e223f33050bd4ccde69c7cf227;p=pspp

diff --git a/parse-all-xml b/parse-all-xml
index c4146fc019..c1282e03ff 100755
--- a/parse-all-xml
+++ b/parse-all-xml
@@ -1,11 +1,10 @@
 #! /bin/sh
 
-# Parse the structure members that do not represent models or graphs
-# and that are not page setups (which are always the first structure member).
+# Parse the structure members that do not represent models or graphs.
 # Also skip those with borderProperties, which indicate the non-"light"
 # format.
 lightTables=`ls -1 unzipped/*/*.xml |grep -vE 'notes|table|warning|chart|model' \
-          | xargs grep -EL '<([a-z]*:)?(model|graph)'`
+          | xargs grep -EL '<([a-z]*:)?(model|graph|borderProperties)'`
 
 if test -n "$1"; then
     for d in $lightTables; do