diff options
| author | Théo Zimmermann | 2020-05-11 17:41:58 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-15 18:57:28 +0200 |
| commit | de91dd47e1e4f2366eb4f4cc174aadf8fc2ce1ce (patch) | |
| tree | 96c801975fca3c4f8e9ed93d620332fcae5038be /doc/sphinx/language/extensions | |
| parent | eae7b25e06b75f1c890215d4e6176292f10f854a (diff) | |
Document new Search features.
Diffstat (limited to 'doc/sphinx/language/extensions')
| -rw-r--r-- | doc/sphinx/language/extensions/arguments-command.rst | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/sphinx/language/extensions/arguments-command.rst b/doc/sphinx/language/extensions/arguments-command.rst index 34a48b368b..510a97d171 100644 --- a/doc/sphinx/language/extensions/arguments-command.rst +++ b/doc/sphinx/language/extensions/arguments-command.rst @@ -6,12 +6,9 @@ Setting properties of a function's arguments .. cmd:: Arguments @smart_qualid {* @arg_specs } {* , {* @implicits_alt } } {? : {+, @args_modifier } } :name: Arguments - .. insertprodn smart_qualid args_modifier + .. insertprodn argument_spec args_modifier .. prodn:: - smart_qualid ::= @qualid - | @by_notation - by_notation ::= @string {? % @scope_key } argument_spec ::= {? ! } @name {? % @scope_key } arg_specs ::= @argument_spec | / |