diff options
| author | Marlon Richert <marlon@vaadin.com> | 2014-01-20 20:31:13 +0200 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2014-01-21 06:49:18 +0000 |
| commit | 3f09c10ec3b4982fc725d07f631015b16d8df985 (patch) | |
| tree | 0266e08c3c1df409c3c85534f232290b305c76f7 /all/build.xml | |
| parent | 171d02a0f14476063312e0e761808ae6ebd93660 (diff) | |
| download | vaadin-framework-3f09c10ec3b4982fc725d07f631015b16d8df985.tar.gz vaadin-framework-3f09c10ec3b4982fc725d07f631015b16d8df985.zip | |
Better-looking CSS for Vaadin API Javadocs (#13219)
Change-Id: I52fd843b839830cefe330c9c9cf94b59db0928af
Diffstat (limited to 'all/build.xml')
| -rw-r--r-- | all/build.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/all/build.xml b/all/build.xml index 1b48721ecd..36a9499dea 100644 --- a/all/build.xml +++ b/all/build.xml @@ -43,7 +43,8 @@ <property name="javadoc.dir" location="${result.dir}/javadoc" /> <property name="title" value="Vaadin ${vaadin.version} API" /> - <javadoc maxmemory="1024m" destdir="${javadoc.dir}" author="true" version="true" use="true" windowtitle="${title}" encoding="utf-8"> + <javadoc maxmemory="1024m" destdir="${javadoc.dir}" author="true" version="true" use="true" windowtitle="${title}" encoding="utf-8" + stylesheetfile="javadoc.css"> <packageset dir="${javadoc.temp.dir}"> <!-- TODO Javadoc throws ClassCastException if this is included (#9660) --> |