From 9d85d9024441e09769c1a4a1efbd70fc563e78ca Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@samskivert.com>
Date: Wed, 29 May 2019 12:08:42 -0700
Subject: [PATCH] Remove -html5 option.

I forgot that when I do a Maven release, I have to use a 1.8 JVM because
various plugins and things choke and die when run on Java 9 or newer. Sigh.
---
 pom.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 9e942bf..1691159 100644
--- a/pom.xml
+++ b/pom.xml
@@ -76,7 +76,6 @@
           <additionalOptions>
             <additionalOption>-Xdoclint:all</additionalOption>
             <additionalOption>-Xdoclint:-missing</additionalOption>
-            <additionalOption>-html5</additionalOption>
           </additionalOptions>
         </configuration>
       </plugin>