| david_williams | a3b8d48 | 2007-12-12 06:36:07 +0000 | [diff] [blame] | 1 | |
| david_williams | a0977f8 | 2007-12-12 06:59:12 +0000 | [diff] [blame] | 2 | # will cause java doc generation to be skipped, for |
| 3 | # those java doc plugins that support it |
| david_williams | a3b8d48 | 2007-12-12 06:36:07 +0000 | [diff] [blame] | 4 | # (as of this writing, jst.doc.isv and wst.doc.isv |
| david_williams | db1c40c | 2007-12-12 09:08:48 +0000 | [diff] [blame] | 5 | # Note: some parts of the javadoc generation will still |
| 6 | # occur, but plugin's created, some files copied, etc., |
| 7 | # but just not the very expensive javadoc task itself. |
| david_williams | a3b8d48 | 2007-12-12 06:36:07 +0000 | [diff] [blame] | 8 | skipJavaDoc=true |
| 9 | |