/print/teTeX/files/

• ../
• patch-::texk::web2c::web2c::web2c.y