From 670aaf78752d44a8e17ed9f0462c4517e3211c6e Mon Sep 17 00:00:00 2001
From: Madhura Bhave <mbhave@pivotal.io>
Date: Fri, 5 Oct 2018 19:23:52 -0700
Subject: [PATCH] Make prometheus push gateway available to javadoc generation

See gh-14353
---
 spring-boot-project/spring-boot-docs/pom.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/spring-boot-project/spring-boot-docs/pom.xml b/spring-boot-project/spring-boot-docs/pom.xml
index f3cc88ba70..b21ea79db2 100644
--- a/spring-boot-project/spring-boot-docs/pom.xml
+++ b/spring-boot-project/spring-boot-docs/pom.xml
@@ -276,6 +276,11 @@
 			<artifactId>reactor-netty</artifactId>
 			<optional>true</optional>
 		</dependency>
+		<dependency>
+			<groupId>io.prometheus</groupId>
+			<artifactId>simpleclient_pushgateway</artifactId>
+			<optional>true</optional>
+		</dependency>
 		<dependency>
 			<groupId>io.reactivex</groupId>
 			<artifactId>rxjava-reactive-streams</artifactId>