bug#26516: Typo in manual

[Pavel Raiskup]

close 26516 2.4.6.40
thanks

On Saturday, April 15, 2017 2:16:07 PM CEST Reuben Thomas wrote:
> Talking about the win32-dll option, the manual says "If this macro is not
> used…"; I presume this should be "If this option is not used…". (At least,
> I cannot see any mention of a macro to which the reference might apply in
> that paragraph.)

Thanks for the report!  Fixed by 6ca5e224bc7bcc114.

Pavel