Date: Fri, 10 Oct 1997 18:57:11 +1000 From: Bruce Evans <bde@zeta.org.au> To: bde@zeta.org.au, wosch@cs.tu-berlin.de Cc: current@freebsd.org, peter@freebsd.org Subject: Re: Wrong file name for info files. Message-ID: <199710100857.SAA07101@godzilla.zeta.org.au>
next in thread | raw e-mail | index | archive | help
>> 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. The help message in the version in -current (1.67) is less verbose, and makeinfo.info only says that the output goes to FILE and not to the file name specified by @setfilename. Bruce
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199710100857.SAA07101>