Revision 825823

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