diff options
Diffstat (limited to 'print/tex')
| -rw-r--r-- | print/tex/files/patch-ae | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/print/tex/files/patch-ae b/print/tex/files/patch-ae new file mode 100644 index 000000000000..c551b8caf9d0 --- /dev/null +++ b/print/tex/files/patch-ae @@ -0,0 +1,10 @@ +--- web2c/web2c/web2c.y~ Tue Dec 9 11:41:52 1997 ++++ web2c/web2c/web2c.y Sun Nov 24 00:32:19 2002 +@@ -135,6 +135,7 @@ + /* program statement. Ignore any files. */ + PROGRAM_HEAD: + program_tok undef_id_tok PROGRAM_FILE_PART ';' ++ ; + + PROGRAM_FILE_PART: + '(' PROGRAM_FILE_LIST ')' |