[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: a suggestion of an improvement to info
From: |
Eli Zaretskii |
Subject: |
Re: a suggestion of an improvement to info |
Date: |
Wed, 10 Oct 2001 19:57:04 +0200 |
> From: Pablo De Napoli <address@hidden>
> Date: Tue, 9 Oct 2001 15:31:32 -0300 (ARST)
>
> I want to make a suggestion for improving info (I'm using info3.12f).
> info has an option for writing the output to a file (--output=FILE)
> but I think it should have an option (say --stdout) for sending the
> output to the standard output in a non-interactive way.
Hmm?? Doesn't --output=- work for you? It does for me (in version
4.0 of Info).