update *.dtx