diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-20 16:55:23 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-05-21 03:50:16 +0200 |
| commit | f477cb74ff136db72e810819283a957b44275fb8 (patch) | |
| tree | d74a170f7e6fd30516020d8f2da5fed7350c9d6e /ptrlist.h | |
| parent | 9a6bc349fa1f3f9bd39a242dbef74609038c8946 (diff) | |
| download | sparse-dev-f477cb74ff136db72e810819283a957b44275fb8.tar.gz | |
doc: add sphinx domain for IR instruction indexation
The doc for IR instructions used definition lists to structure
the instructions names and their description. This is simple
to write and present well but it doesn't put the instructions'
name in the index.
Fix this by adding a new domain, with a single directive 'op'
which takes the instruction name, inserts an index entry and uses
it for the definition.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'ptrlist.h')
0 files changed, 0 insertions, 0 deletions