On second, cd manual && make is all it takes to produce the pdf, so I will stick this manually into the -dev package. Robert, consider it a wishlist to have that automated :)
Dirk -- Hell, there are no rules here - we're trying to accomplish something. -- Thomas A. Edison -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]