Details
-
Sub-task
-
Resolution: Done
-
Major
-
None
-
None
Description
We can generate PDF versions of our documentation "books". These should be published to docs.jboss.org alongside the javadocs.
Ghostscript should be used to optimize the PDFs