add tex and html as options