Date: Fri, 10 Oct 1997 17:46:13 +1000 From: Bruce Evans <bde@zeta.org.au> To: current@FreeBSD.ORG, wosch@cs.tu-berlin.de Cc: peter@FreeBSD.ORG Subject: Re: Wrong file name for info files. Message-ID: <199710100746.RAA04563@godzilla.zeta.org.au>
next in thread | raw e-mail | index | archive | help
>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:
This is Info file -, produced by Makeinfo version 1.67 ...
^
...
File: stdout, Node: Top, Next: Introduction, Prev: (dir), Up: (dir)
^^^^^^
Bruce
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199710100746.RAA04563>