1 files changed, 4 insertions, 2 deletions
diff --git a/docs/man/src/man/EmitHtml.scala b/docs/man/src/man/EmitHtml.scala
index d0257e0144..6ad366bd4a 100644
--- a/docs/man/src/man/EmitHtml.scala
+++ b/docs/man/src/man/EmitHtml.scala
@@ -340,8 +340,10 @@ object EmitHtml {
       val addDocType = (args.length > 1 && "-doctype".equals(args(1)))
       emitDocument(doc, addDocType)
     } catch {
-      case e: Exception =>
-        System.err.println(e.getMessage())
+      case ex: Exception =>
+        ex.printStackTrace()
+        System.err.println("Error in EmitHtml")
+        exit(1)
     }
   }
 }