/japanese/ptex-tetex/files/

• ../
• patch-texk::web2c::Makefile.in
• patch-texk::web2c::ptex-3.1.3::Makefile.in
• pkg-install.in