Re: CEDET calls cpp -E -dM -x c++ /dev/null

[Lennart Borgman]

On Wed, Jul 1, 2009 at 10:01 PM, Sean O'Rourke<address@hidden> wrote:
> Eli Zaretskii <address@hidden> writes:
>
>>> Date: Wed, 1 Jul 2009 21:25:47 +0200
>>> From: Lennart Borgman <address@hidden>
>>> I think Info would be glad to know. Somewhere in "Operating System 
>>> Interface"?
>>
>> I guess so.  "Operating System Environment" sounds like a good place.
>> shell-file-name and shell-command-switch should probably be documented
>> as well.
>
> Here's a patch putting them all in "Operating System Environment"
> using what seems to be the standard wording.

Looks good IMO, but please add that null-device should be used instead
of /dev/null. Then it will be possible to search for it in the manual.