On 9/3/18 7:42 PM, Paolo Cavallini wrote: > weird that the first one is packaged (e.g. in Debian) instead of the second. The Debian package just builds the default target in the doc directory. Nothing weird about that. Kind Regards, Bas