Date: Fri, 10 Oct 1997 10:26:35 +0200 From: Wolfram Schneider <wosch@cs.tu-berlin.de> To: Bruce Evans <bde@zeta.org.au> Cc: current@FreeBSD.ORG, wosch@cs.tu-berlin.de, peter@FreeBSD.ORG Subject: Re: Wrong file name for info files. Message-ID: <19971010102635.20016@panke.de> In-Reply-To: <199710100746.RAA04563@godzilla.zeta.org.au>; from Bruce Evans on Fri, Oct 10, 1997 at 05:46:13PM %2B1000 References: <199710100746.RAA04563@godzilla.zeta.org.au>
next in thread | previous in thread | raw e-mail | index | archive | help
On Fri, Oct 10, 1997 at 05:46:13PM +1000, Bruce Evans wrote:
> >Makeinfo create wrong file names in info files, e.g. `dc.info.new'
> >instead `dc.info'. If nobody object I will undo rev 1.34.
> >
> >File: dc.info.new, Node: Top, Next: Introduction, Prev: (dir), Up: (dir)
> > ^^^^
> This may be a bug in makeinfo. I use output file "-" (stdout) to
> avoid an intermediate file in the gzip pipeline, and makeinfo produces:
The bug is documented:
$ makeinfo --help
`--output FILE' or `-o FILE'
to specify the output file. When you specify the
output file in this way, any `@setfilename' in the
input file is ignored.
--
Wolfram Schneider <wosch@apfel.de> http://www.apfel.de/~wosch/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?19971010102635.20016>