From 5a2d4c468aa7104833810a2a5b683c75a6b9ac5c Mon Sep 17 00:00:00 2001 From: shroffk Date: Thu, 7 May 2026 09:24:48 -0400 Subject: [PATCH] removing profile that does not work #3588 --- pom.xml | 36 ------------------------------------ 1 file changed, 36 deletions(-) diff --git a/pom.xml b/pom.xml index 38e33960f7..f90adb616d 100644 --- a/pom.xml +++ b/pom.xml @@ -304,42 +304,6 @@ - - - sphinx - - - - org.apache.maven.plugins - maven-site-plugin - 3.7.1 - - - org.apache.maven.plugins - maven-project-info-reports-plugin - 3.0.0 - - - - kr.motd.maven - sphinx-maven-plugin - 2.10.0 - - ${basedir}/docs/source - ${basedir}/docs/build/html - - - - package - - generate - - - - - - -