関心のある方は、
の antlr4_html2latex_binary.zip を解凍して下さい。
antlr4_html2latex.exe が windows の実行ファイルです。
> antlr4_tex2sym.exe example\sample1.html
> antlr4_tex2sym.exe example\sample2.html -m MOD
で LaTeX に変換できます。
詳細は
サイズの大きい news.google.com の html file を
option -m MOD ( 'div' の終了タグが１つ少ない ? ) で実行すると、
私の PC(i7 5600U,8G) で 33.7sec、
error は出ますが、 pdflatex.exe で pdf が作成できます。
html file は browser によって異なるようですが、
「右クリック、ソースを表示、保存等」で PC に保存できるようです。
まだ「試作段階」です。
LaTeX に変換できない、pdf ができないことも、当然ながらあります。