diff options
| author | Jean-Marc Zucconi <jmz@FreeBSD.org> | 2002-11-23 23:36:33 +0000 |
|---|---|---|
| committer | Jean-Marc Zucconi <jmz@FreeBSD.org> | 2002-11-23 23:36:33 +0000 |
| commit | 05c4566a467938bb83d779ed6882d2e127993ca8 (patch) | |
| tree | f06d0b9303e57d4fc109cf9f6d0fafee9b7813ed /print/tex | |
| parent | 2a86083c7e2c4def5f58d231f82398e3fb75fb62 (diff) | |
Notes
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 ')' |