always use ttf fonts

bin/convert.pe

@@ -0,0 +1,2 @@
+Open($1);
+Generate($1:r+".ttf");

bin/pdf2htmlEX

@@ -7,6 +7,6 @@ SCRIPT_DIR="$( cd -P "$( dirname "$SOURCE" )" && pwd )"/
 ${SCRIPT_DIR}/pdftohtmlEX $* 
 
 for f in *.pfa; do
-    fontforge -script "${SCRIPT_DIR}/pfa2otf.pe" $f
+    fontforge -script "${SCRIPT_DIR}/convert.pe" $f 2>/dev/null
     rm $f
 done

bin/pfa2otf.pe

@@ -1,2 +0,0 @@
-Open($1);
-Generate($1:r+".woff");

src/HTMLRenderer.cc

@@ -714,7 +714,7 @@ void HTMLRenderer::install_embedded_type1_font (Ref * id, long long fn_id)
         tmpf.write(CTM, strlen(CTM));
     }
 
-    export_remote_font(fn_id, "woff");
+    export_remote_font(fn_id, "ttf");
 
 err:
     str_obj.streamClose();