aboutsummaryrefslogtreecommitdiffstats
path: root/docs/build.xml
diff options
context:
space:
mode:
authorwisberg <wisberg>2005-05-05 21:52:00 +0000
committerwisberg <wisberg>2005-05-05 21:52:00 +0000
commit0adb46004a8e099ce9466405e2c6955e427ed866 (patch)
tree591dacdff91ea005cc4848e548b8e9b3895c3e71 /docs/build.xml
parent8010230855e54cc20833f8e3a70e7bd4ccf4272f (diff)
downloadaspectj-0adb46004a8e099ce9466405e2c6955e427ed866.tar.gz
aspectj-0adb46004a8e099ce9466405e2c6955e427ed866.zip
.css stylesheet parameter for xml-html, used in faq. Did not retrofit devguide - unsure about relation to dsl file. Should remove aspectj-docs.css reference in the docbook stylesheets to avoid fork.
Diffstat (limited to 'docs/build.xml')
-rw-r--r--docs/build.xml8
1 files changed, 6 insertions, 2 deletions
diff --git a/docs/build.xml b/docs/build.xml
index 9dff6c836..069484884 100644
--- a/docs/build.xml
+++ b/docs/build.xml
@@ -78,8 +78,9 @@
/>
<!-- default value for xml-html copying (copy all graphics) -->
<property name="xml-html-copy" value="*.gif,*.png" />
+ <property name="xml-html-stylesheet" value="aspectj-docs.css" />
<property name="binary.pattern"
- value="**/*.gif,**/*.png,**/*.doc,**/*.pdf,**/*.jpg,**/*.JPG"
+ value="**/*.gif,**/*.png,**/*.doc,**/*.pdf,**/*.jpg,**/*.JPG,**/*.css"
/>
<uptodate property="local.dist.uptodate"
targetfile="${docs.dist.dir}/doc/faq.html"
@@ -262,6 +263,7 @@
<param name="xml-target-file"
value="${docs.dist.dir}/doc/faq.html"
/>
+ <param name="xml-html-stylesheet" value="aspectj-faq.css" />
</antcall>
</target>
@@ -461,7 +463,8 @@
xsl-source-file # xsl transform to apply (use chunk.xsl.source by default)
xml-target-dir # target directory for output (used as xsl param base.dir)
xml-target-file # full path to output file in xml-source-dir, ignored when chunking
- xml-html-copy # copy files to target (defaults to *.gif,*.png"
+ xml-html-copy # copy files to target (defaults to *.gif,*.png)
+ xml-html-stylesheet # style sheet to use (defaults to ${xml-html-stylesheet})"
>
<mkdir dir="${xml-target-dir}" />
@@ -482,6 +485,7 @@
<arg value="${xsl-source-file}" />
<arg value="base.dir=${xml-target-dir}/" />
<arg value="use.id.as.filename=1" />
+ <arg value="html.stylesheet=${xml-html-stylesheet}" />
</java>
</target>