diff --git a/src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java b/src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java index cd2da28..520b7d9 100755 --- a/src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java +++ b/src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java @@ -699,6 +699,7 @@ public class HTMLtoLaTeXBackEnd extends HTMLEditorKit.ParserCallback { try { new ParserDelegator().parse(reader, b, false); } catch (IOException e) { + System.err.println("Caught exception when converting HTML text to TEX: " + e.getMessage()); } return new String(result); }