Re: Choosing man section at configure time

[Harlan Stenn]

Hi Stefano,

Thanks for the suggestion - it was pretty much along the lines I thought
I'd have to go before Ralf posted.

H