From 89dad2fd84730cb4715bf0febef44301cbad87be Mon Sep 17 00:00:00 2001
From: Austin Shalit <austinshalit@gmail.com>
Date: Thu, 23 Jul 2020 21:10:32 -0400
Subject: [PATCH] [build] Use artifactory doxygen mirror (#2600)

This avoids the occasional failures we've seen in downloading doxygen during CI.

Also update to doxygen 1.8.18.
---
 docs/build.gradle | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/build.gradle b/docs/build.gradle
index 8e01aed6d9..6f59d98d42 100644
--- a/docs/build.gradle
+++ b/docs/build.gradle
@@ -35,9 +35,10 @@ cppProjectZips.add(project(':wpilibOldCommands').cppHeadersZip)
 cppProjectZips.add(project(':wpilibNewCommands').cppHeadersZip)
 
 doxygen {
-  executables {
-     doxygen version : '1.8.16'
-  }
+    executables {
+        doxygen version : '1.8.18',
+            baseURI : 'https://frcmaven.wpi.edu/artifactory/generic-release-mirror/doxygen'
+    }
 }
 
 doxygen {