bug-dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-dejagnu] makeinfo fails on dejagnu.texi


From: Ben Elliston
Subject: Re: [Bug-dejagnu] makeinfo fails on dejagnu.texi
Date: Thu, 7 Apr 2016 06:52:05 +1000
User-agent: Mutt/1.5.23 (2014-03-12)

On Wed, Apr 06, 2016 at 01:05:35PM -0700, Faraz Shahbazker wrote:

> Error message:
> /scratch/frs/src/dejagnu/doc/dejagnu.texi:3876: Prev field of node `ssh_close 
> procedure' not pointed to.
> /scratch/frs/src/dejagnu/doc/dejagnu.texi:3860: This node (rsh_exec 
> procedure) has the bad Next.
> /scratch/frs/src/dejagnu/doc/dejagnu.texi:3860: Next field of node `rsh_exec 
> procedure' not pointed to (perhaps incorrect sectioning?).
> /scratch/frs/src/dejagnu/doc/dejagnu.texi:3928: This node (ftp_open 
> procedure) has the bad Prev.

Thanks for the patch!  My version of makeinfo (5.2) didn't report this
problem, which is very odd.

Cheers, Ben

Attachment: signature.asc
Description: Digital signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]