diff options
| author | Sergei Trofimov <sergei.trofimov@arm.com> | 2018-05-30 11:16:32 +0100 |
|---|---|---|
| committer | Marc Bonnici <marc.bonnici@arm.com> | 2018-05-30 12:02:28 +0100 |
| commit | e015f438ae3245e792fc29d2cf966ddc7903ff82 (patch) | |
| tree | 0d1c141fe2c6ffe41da0571886401e3fd5185113 /doc | |
| parent | 42bae98d50d3cbfff736f17e2a07e0a1c5497d74 (diff) | |
doc/build_instrument_method_map: update table header
Update the decorator stable header to state "decorator" rather than
"prefix" (this was left over from WA2).
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/build_instrument_method_map.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/build_instrument_method_map.py b/doc/build_instrument_method_map.py index 974824f7..ae06edde 100644 --- a/doc/build_instrument_method_map.py +++ b/doc/build_instrument_method_map.py @@ -37,7 +37,7 @@ def generate_instrument_method_map(outfile): signal_table = format_simple_table([(k, v) for k, v in SIGNAL_MAP.iteritems()], headers=['method name', 'signal'], align='<<') priority_table = format_simple_table(zip(Priority.names, Priority.values), - headers=['prefix', 'priority'], align='<>') + headers=['decorator', 'priority'], align='<>') with open(OUTPUT_TEMPLATE_FILE) as fh: template = string.Template(fh.read()) with open(outfile, 'w') as wfh: |