From 32ecb63002638284dae7a912eaeb93074f108384 Mon Sep 17 00:00:00 2001
From: Brian Clozel <bclozel@pivotal.io>
Date: Wed, 10 Jul 2019 13:59:45 +0200
Subject: [PATCH] Add reactor-tools dependency for javadoc generation

See gh-17128
---
 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 2001a7b6c91..717739bab98 100644
--- a/spring-boot-project/spring-boot-docs/pom.xml
+++ b/spring-boot-project/spring-boot-docs/pom.xml
@@ -323,6 +323,11 @@
 			<artifactId>micrometer-registry-wavefront</artifactId>
 			<optional>true</optional>
 		</dependency>
+		<dependency>
+			<groupId>io.projectreactor</groupId>
+			<artifactId>reactor-tools</artifactId>
+			<optional>true</optional>
+		</dependency>
 		<dependency>
 			<groupId>io.projectreactor.netty</groupId>
 			<artifactId>reactor-netty</artifactId>