bug-texinfo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: makeinfo should accept /dev/fd/0 argument

From: Karl Berry
Subject: Re: makeinfo should accept /dev/fd/0 argument
Date: Tue, 26 Aug 2008 19:34:30 -0500 
    'makeinfo' refuses to read from stdin when it is named /dev/fd/0
 
Thanks for the report.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]