From 00c55fdf446b4c388720f4d92a6150855aecef5c Mon Sep 17 00:00:00 2001
From: Mark Craig <mark.craig@forgerock.com>
Date: Fri, 08 Jul 2011 09:29:42 +0000
Subject: [PATCH] Fix OPENDJ-228: Push OpenDJ "plugin API" Javadoc to community site
---
opends/pom.xml | 18 +++++++++++-------
1 files changed, 11 insertions(+), 7 deletions(-)
diff --git a/opends/pom.xml b/opends/pom.xml
index 133e9c6..cbef1ff 100644
--- a/opends/pom.xml
+++ b/opends/pom.xml
@@ -106,20 +106,21 @@
</configuration>
</execution>
<execution>
- <id>docgen</id>
+ <id>generate-docs</id>
<phase>pre-site</phase>
<goals>
- <goal>run</goal>
+ <goal>run</goal>
</goals>
<configuration>
- <target>
- <ant target="configguide" />
- </target>
+ <target>
+ <ant target="javadoc" />
+ <ant target="configguide" />
+ </target>
</configuration>
</execution>
<execution>
- <id>cp-docget</id>
- <phase>post-site</phase>
+ <id>cp-generated-docs</id>
+ <phase>site</phase>
<goals>
<goal>run</goal>
</goals>
@@ -128,6 +129,9 @@
<copy todir="build/site/configref">
<fileset dir="build/docgen/configuration_guide/" />
</copy>
+ <copy todir="build/site/javadoc">
+ <fileset dir="build/javadoc/" />
+ </copy>
</target>
</configuration>
</execution>
--
Gitblit v1.10.0