I miss something there. I thought that this was solved for dvipsk by Eli Zaretskii quite long ago in the days of web2c-7. Or is it just one more way to fool the readline() mechanism ? -- Fabrice Popineau