diff options
| author | Björn Gustavsson <[email protected]> | 2011-04-12 06:05:34 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2011-04-12 06:05:34 +0200 |
| commit | f81c717474ae72164ba6d7f3a29a02c47280511f (patch) | |
| tree | 32d608614912042416140d86066138adaad26999 /erts | |
| parent | 73b16ada48c683529febd1167fd5a30f83c872af (diff) | |
| parent | ca8dcd1911a9a382ac8dd0d511d009d5c3ae37c4 (diff) | |
| download | otp-f81c717474ae72164ba6d7f3a29a02c47280511f.tar.gz otp-f81c717474ae72164ba6d7f3a29a02c47280511f.tar.bz2 otp-f81c717474ae72164ba6d7f3a29a02c47280511f.zip | |
Merge branch 'bjorn/erts/remove-init_get_args-doc/OTP-9209' into dev
* bjorn/erts/remove-init_get_args-doc/OTP-9209:
Remove documentation for non-existent init:get_args/0
Diffstat (limited to 'erts')
| -rw-r--r-- | erts/doc/src/init.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/erts/doc/src/init.xml b/erts/doc/src/init.xml index 33364c709a..0e828389f6 100644 --- a/erts/doc/src/init.xml +++ b/erts/doc/src/init.xml @@ -67,19 +67,6 @@ </desc> </func> <func> - <name>get_args() -> [Arg]</name> - <fsummary>Get all non-flag command line arguments</fsummary> - <type> - <v>Arg = atom()</v> - </type> - <desc> - <p>Returns any plain command line arguments as a list of atoms - (possibly empty). It is recommended that - <c>get_plain_arguments/1</c> is used instead, because of - the limited length of atoms.</p> - </desc> - </func> - <func> <name>get_argument(Flag) -> {ok, Arg} | error</name> <fsummary>Get the values associated with a command line user flag</fsummary> <type> |