On Tue, 2018-03-27 at 23:10 +0200, Julien Cristau wrote: > __libdir__ doesn't seem to actually be used anywhere in the man page, > but... > > Signed-off-by: Julien Cristau <jcristau at debian.org> Reviewed-by: Adam Jackson <ajax at redhat.com> - ajax