From 2501e118868fb267d57317a5ae99ca32e420cd72 Mon Sep 17 00:00:00 2001
From: Austin Shalit <austinshalit@gmail.com>
Date: Mon, 29 Oct 2018 03:08:21 -0400
Subject: [PATCH] Enable HTML5 javadocs (#1267)

This suppresses a build warning about HTML 4.01 being used.
---
 docs/build.gradle | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/build.gradle b/docs/build.gradle
index f548d25b10..99b71a0e10 100644
--- a/docs/build.gradle
+++ b/docs/build.gradle
@@ -100,6 +100,7 @@ task generateJavaDocs(type: Javadoc) {
     options.links("https://docs.oracle.com/javase/8/docs/api/")
     options.addStringOption "tag", "pre:a:Pre-Condition"
     options.addStringOption('Xdoclint:accessibility,html,missing,reference,syntax')
+    options.addBooleanOption('html5', true)
     dependsOn project(':wpilibj').generateJavaVersion
     dependsOn project(':hal').generateUsageReporting
     source project(':hal').sourceSets.main.java