Hi I noticed that our build does not include the prettify JS and CSS with Javadocs, unless the javadocs are created for the release. For example, if you open any of the *javadocs.jar files (core or contrib), you'll see that the prettify files are missing. Therefore, documentation which relies on it is not displayed nicely (such as contrib-highlight).
The invoke-javadoc macro copies the prettify files and adds references to them, but when the javadocs are jar-ed, the files are omitted. At first I thought that this is a bug, but then I noticed how the files are referenced, and the directory structure that is assumed to be created for the javadocs, and thought that this may be intentional? When the release binaries are created, a folder docs/api is created, under which there are sub-folders for 'core' and 'contrib-*'. Also, a sub-folder for prettify. So prettify is assumed to be 'sibling' of any of the javadocs folders, and the reference in the HTML is created as such. However, if we add prettify to any of the .jar, then it won't be a sibling anymore, but a 'child', and the reference should change from ../prettify/* to prettify/*. I think this can be solved easily by referencing two scripts (and perhaps same trick for stylesheet as well) -- only one of them will be found depending on the distribution. I wanted to ask first if the prettify files were omitted from the .jar intentionally or not. Shai