added --no-tex4ht option