1. 2c21112 - Add missing license headers by Chris Custine · 15 years ago
  2. f06efd9 Change a bit the manual generation so that it can we also fallback to a dummy pdf in case of an error, and it also provides an easier way to switch to something else than prince if needed by Guillaume Nodet · 15 years ago
  3. b8111a5 Add the manual to the build making it fully optional unless karaf is being released by Guillaume Nodet · 15 years ago