From owner-freebsd-current  Fri Oct 10 01:58:58 1997
Return-Path: <owner-freebsd-current>
Received: (from root@localhost)
          by hub.freebsd.org (8.8.7/8.8.7) id BAA03704
          for current-outgoing; Fri, 10 Oct 1997 01:58:58 -0700 (PDT)
          (envelope-from owner-freebsd-current)
Received: from godzilla.zeta.org.au (godzilla.zeta.org.au [203.2.228.19])
          by hub.freebsd.org (8.8.7/8.8.7) with ESMTP id BAA03698;
          Fri, 10 Oct 1997 01:58:44 -0700 (PDT)
          (envelope-from bde@zeta.org.au)
Received: (from bde@localhost) by godzilla.zeta.org.au (8.8.5/8.6.9) id SAA07101; Fri, 10 Oct 1997 18:57:11 +1000
Date: Fri, 10 Oct 1997 18:57:11 +1000
From: Bruce Evans <bde@zeta.org.au>
Message-Id: <199710100857.SAA07101@godzilla.zeta.org.au>
To: bde@zeta.org.au, wosch@cs.tu-berlin.de
Subject: Re: Wrong file name for info files.
Cc: current@freebsd.org, peter@freebsd.org
Sender: owner-freebsd-current@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

>> 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