summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorpelder2006-11-08 15:52:13 (EST)
committerpelder2006-11-08 15:52:13 (EST)
commit61affb2549c23f814150bd2a42df1b8fc8ac8091 (patch)
treee6a63f12d68fe6de6506e5d0823e900fa61062f0
parent94e79caafb922fa1c88af3f0a120560da72d94b3 (diff)
downloadorg.eclipse.jet-61affb2549c23f814150bd2a42df1b8fc8ac8091.zip
org.eclipse.jet-61affb2549c23f814150bd2a42df1b8fc8ac8091.tar.gz
org.eclipse.jet-61affb2549c23f814150bd2a42df1b8fc8ac8091.tar.bz2
[163842] Update javadoc generator to reference 0.7.2 version of doc plug-in.
-rw-r--r--doc/org.eclipse.jet.doc/build.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/org.eclipse.jet.doc/build.xml b/doc/org.eclipse.jet.doc/build.xml
index efe3cb9..cbf2f2e 100644
--- a/doc/org.eclipse.jet.doc/build.xml
+++ b/doc/org.eclipse.jet.doc/build.xml
@@ -2,7 +2,7 @@
<project name="org.eclipse.jet.doc" default="build.jars" basedir=".">
<!-- Doc Plug-in version. This is a HACK. Do not forget to update. -->
- <property name="pluginVersion" value="0.7.1"/>
+ <property name="pluginVersion" value="0.7.2"/>
<property name="plugin" value="org.eclipse.jet"/>
<property name="docPlugin" value="org.eclipse.jet.doc"/>