1. c5050bd 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
  2. ab7eaf2 Add the manual to the build making it fully optional unless karaf is being released by Guillaume Nodet · 15 years ago