diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/man/src/man/EmitHtml.scala | 6 | ||||
-rw-r--r-- | docs/man/src/man/EmitManPage.scala | 6 |
2 files changed, 8 insertions, 4 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) } } } diff --git a/docs/man/src/man/EmitManPage.scala b/docs/man/src/man/EmitManPage.scala index 7bc4bf58e2..363cf1d02a 100644 --- a/docs/man/src/man/EmitManPage.scala +++ b/docs/man/src/man/EmitManPage.scala @@ -156,8 +156,10 @@ object EmitManPage { val doc = meth.invoke(null, Array[Object]()).asInstanceOf[Document] emitDocument(doc) } catch { - case e: Exception => - System.err.println(e.getMessage()) + case ex: Exception => + ex.printStackTrace() + System.err.println("Error in EmitManPage") + exit(1) } } |