( cd usr/man/man1 ; rm -rf asoft_detoken.1.gz )
( cd usr/man/man1 ; ln -sf tokenize_asoft.1.gz asoft_detoken.1.gz )
( cd usr/man/man1 ; rm -rf dos33_text2ascii.1.gz )
( cd usr/man/man1 ; ln -sf tokenize_asoft.1.gz dos33_text2ascii.1.gz )
( cd usr/man/man1 ; rm -rf integer_detoken.1.gz )
( cd usr/man/man1 ; ln -sf tokenize_asoft.1.gz integer_detoken.1.gz )
