From e17cd5cf345a517da9566b3d7461bccc4e297747 Mon Sep 17 00:00:00 2001
From: stfm <stfm@doclet>
Date: Fri, 24 Nov 2017 09:30:33 +0100
Subject: [PATCH] add error log message

---
 src/main/java/org/stfm/texdoclet/HTMLtoLaTeXBackEnd.java | 1 +
 1 file changed, 1 insertion(+)

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);
 	}