workTex to doTex