bin/hppa-hpux/dvibook bin/hppa-hpux/dviconcat bin/hppa-hpux/dviselect bin/hppa-hpux/dvitodvi new-list/bin-seetexk.hppa-hpux