diff options
Diffstat (limited to 'japanese/texfamily/files/patch-texk::web2c::web2c::web2c.y')
| -rw-r--r-- | japanese/texfamily/files/patch-texk::web2c::web2c::web2c.y | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/japanese/texfamily/files/patch-texk::web2c::web2c::web2c.y b/japanese/texfamily/files/patch-texk::web2c::web2c::web2c.y new file mode 100644 index 000000000000..fcd1f72037a2 --- /dev/null +++ b/japanese/texfamily/files/patch-texk::web2c::web2c::web2c.y @@ -0,0 +1,10 @@ +--- texk/web2c/web2c/web2c.y Mon Jun 7 09:34:58 2004 ++++ texk/web2c/web2c/web2c.y Mon Jun 7 09:35:15 2004 +@@ -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 ')' |