diff options
Diffstat (limited to 'print/teTeX-base')
| -rw-r--r-- | print/teTeX-base/files/patch-::texk::web2c::web2c::web2c.y | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/print/teTeX-base/files/patch-::texk::web2c::web2c::web2c.y b/print/teTeX-base/files/patch-::texk::web2c::web2c::web2c.y new file mode 100644 index 000000000000..ff5b99ad6c66 --- /dev/null +++ b/print/teTeX-base/files/patch-::texk::web2c::web2c::web2c.y @@ -0,0 +1,11 @@ +--- texk/web2c/web2c/web2c.y.orig Tue Dec 9 02:41:52 1997 ++++ texk/web2c/web2c/web2c.y Wed Nov 6 15:29:26 2002 +@@ -134,7 +134,8 @@ + + /* program statement. Ignore any files. */ + PROGRAM_HEAD: + program_tok undef_id_tok PROGRAM_FILE_PART ';' ++ ; + + PROGRAM_FILE_PART: + '(' PROGRAM_FILE_LIST ')' |