Re: texinfo-5.9.90 pretest available

[Eli Zaretskii]

> Date: Thu, 26 Feb 2015 17:30:09 +0000
> From: Gavin Smith <address@hidden>
> Cc: Karl Berry <address@hidden>, Texinfo <address@hidden>
> 
> bash $man -a popen
> Man page /usr/share/man/man3p/popen.3.gz is identical to
> /usr/share/man/man3/popen.3.gz
> No manual entry for popen
> bash $echo $?
> 1
> bash $man --version
> man, version 1.6g
> 
> I don't know why a duplicate man page was worthy of a failing exit
> status, but we should cope with this behaviour. What comes to mind is
> checking the exit status first, and then also checking the length of
> output - if it contains more than one or two newlines it is probably a
> real man page, and not an error message sent to stdout.

Sounds good to me.

Perhaps we could even compare the text with a literal "No manual
entry" (this could be localized, but cannot hurt).