files can be shared between this port and japanese/w3. Note this is a "blind" commit; it is too much trouble to test an update with this many added and deleted files. I'll test it later. PR: 3788 Submitted by: <kiri@kiri.toba-cmt.ac.jp>
Noticed by: Arne Henrik Juul <arnej@imf.unit.no> (Closing another 1/14 of PR #2677.)
Submitted by: Kiriyama Kazuhiko <kiri@kiri.toba-cmt.ac.jp>