applied Martin Buchholz <mrb@Eng.Sun.COM>'s patch (cf. [tm-en:1084])
-rw-r--r-- 445 Makefile
-rw-r--r-- 1580 SINFO-CFG
-rw-r--r-- 198 SINFO-ELS
-rw-r--r-- 1108 SINFO-MK
-rw-r--r-- 6302 texi-mapping