1.1 diff -r e1f52aa9f252 -r 7288d2753c18 parser.y 1.2 --- a/parser.y Fri Dec 28 04:55:47 2001 +0000 1.3 +++ b/parser.y Fri Dec 28 16:04:15 2001 +0000 1.4 @@ -26,6 +26,7 @@ 1.5 %token INPUT 1.6 1.7 %token PAGE 1.8 +%token PAGES 1.9 %token BOOKMARK 1.10 %token OUTPUT 1.11 1.12 @@ -81,17 +82,22 @@ 1.13 '{' input_clauses '}' ; 1.14 1.15 input_statement: 1.16 - INPUT input_clause ; 1.17 + INPUT input_clauses ; 1.18 1.19 page_clause: 1.20 - PAGE ranges ';' 1.21 - | PAGE ranges ',' STRING ';' ; 1.22 + PAGE INTEGER ';' 1.23 + | PAGE INTEGER ',' STRING ';' ; 1.24 + 1.25 +pages_clause: 1.26 + PAGES ranges ';' 1.27 + | PAGES ranges ',' STRING ';' ; 1.28 1.29 bookmark_clause: 1.30 - BOOKMARK STRING ';' ; 1.31 + BOOKMARK INTEGER ',' STRING ';' 1.32 + | BOOKMARK STRING ';' ; 1.33 1.34 output_clause: 1.35 - page_clause | bookmark_clause 1.36 + page_clause | pages_clause | bookmark_clause 1.37 | output_clause_list ; 1.38 1.39 output_clauses: 1.40 @@ -102,5 +108,4 @@ 1.41 '{' output_clauses '}' ; 1.42 1.43 output_statement: 1.44 - OUTPUT output_clause ; 1.45 - 1.46 + OUTPUT output_clauses ;