better exception handling when generating man p...

better exception handling when generating man pages

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