Re: [SLE] docbook2man cannot generate system identifier