edit dtx
rebuild pdf