0
|
1 @c This file is designed to be included in manuals that use
|
|
2 @c expandargv.
|
|
3
|
|
4 @item @@@var{file}
|
|
5 Read command-line options from @var{file}. The options read are
|
|
6 inserted in place of the original @@@var{file} option. If @var{file}
|
|
7 does not exist, or cannot be read, then the option will be treated
|
|
8 literally, and not removed.
|
|
9
|
|
10 Options in @var{file} are separated by whitespace. A whitespace
|
|
11 character may be included in an option by surrounding the entire
|
|
12 option in either single or double quotes. Any character (including a
|
|
13 backslash) may be included by prefixing the character to be included
|
|
14 with a backslash. The @var{file} may itself contain additional
|
|
15 @@@var{file} options; any such options will be processed recursively.
|