tags 39215 + patch
thanks

Richard Stallman <rms@gnu.org> writes:

>   > There is a lot of free software out there that I would like to use on
>   > GNU, but that is not GNU software.  Non-GNU software more often than
>   > not does not have an Info manual.  So I would like to be able to link
>   > their man page instead.
>
> Ok, you've convinced me.

Thanks.  How about the attached patch?