From 37a8a2a363b1e5c646df28a7d021eb35a2d4d046 Mon Sep 17 00:00:00 2001
From: Nico Weidmann <nicoweidmann@web.de>
Date: Fri, 15 Dec 2017 20:08:28 +0100
Subject: [PATCH] Add Exceptions to Class summary, update txtmark version

Updated the version of txtmark dependency to 0.8, as 0.7 is not available
from the specified repository. 0.8 can be obtained from maven central.
---
 pom.xml                                         | 6 ++++--
 src/main/java/org/stfm/texdoclet/TeXDoclet.java | 1 +
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index d215b74..f36a3b0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -63,10 +63,12 @@
 			<id>scala-tools</id>
 			<url>http://scala-tools.org/repo-releases</url>
 		</repository>
+    <!-- not available - pull from central repo instead
 		<repository>
 			<id>renejeschke-releases</id>
 			<url>http://maven.renejeschke.de</url>
 		</repository>
+    -->
 	</repositories>
 
 	<dependencies>
@@ -76,7 +78,7 @@
             <version>1.6.0</version>
             <scope>system</scope>
             <systemPath>${toolsjar}</systemPath>
-        </dependency>	
+        </dependency>
 		<dependency>
 			<groupId>com.keypoint</groupId>
 			<artifactId>png-encoder</artifactId>
@@ -103,7 +105,7 @@
 		<dependency>
 		    <groupId>com.github.rjeschke</groupId>
 		    <artifactId>txtmark</artifactId>
-		    <version>0.7</version>
+		    <version>0.8</version><!-- version 0.7 not available anymore -->
 		</dependency>
 
 	</dependencies>
diff --git a/src/main/java/org/stfm/texdoclet/TeXDoclet.java b/src/main/java/org/stfm/texdoclet/TeXDoclet.java
index b4ed7a4..3994cb4 100755
--- a/src/main/java/org/stfm/texdoclet/TeXDoclet.java
+++ b/src/main/java/org/stfm/texdoclet/TeXDoclet.java
@@ -707,6 +707,7 @@ public class TeXDoclet extends Doclet {
 				}
 				tocForClasses("Interfaces", pkg.interfaces);
 				tocForClasses("Classes", pkg.classes);
+				tocForClasses("Exceptions", pkg.exceptions);
 				os.println("\\vskip .1in");
 				if (useHr) {
 					os.println("\\rule{\\hsize}{.7mm}");