# html encoding
altstringtype "html" "tex" ".html"

altstringchar   "\&aacute;"    
altstringchar   "\&eacute;"    
altstringchar   "\&iacute;"    
altstringchar   "\&oacute;"    
altstringchar   "\&uacute;"    
altstringchar   "\&Aacute;"    
altstringchar   "\&Eacute;"    
altstringchar   "\&Iacute;"    
altstringchar   "\&Oacute;"    
altstringchar   "\&Uacute;"    
altstringchar   "\&ntilde;"    
altstringchar   "\&Ntilde;"    
altstringchar   "\&uuml;"      
altstringchar   "\&Uuml;"      

