seL4/libsel4/tools
Anna Lyons b5ee12f00c manual: group generated API methods by object type
This change generates doxygen groups for each object type, which allows us to create sections in
output documents for each object. This has the advantage that we can later label those sections and
link to them from the main document. Additionally, it improves nagivation of the API docs.
2018-05-10 11:36:01 +10:00
..
__init__.py libsel4: fix licenses 2017-06-22 15:27:29 +10:00
bitfield_gen.py Release snapshot 2014-07-18 05:03:59 +10:00
changed.sh Release snapshot 2014-07-18 05:03:59 +10:00
invocation_header_gen.py Release snapshot 2014-07-18 05:03:59 +10:00
sel4_idl.dtd manual: Added <docref> XML Tag to Doxygen 2018-05-01 12:28:03 +10:00
syscall_header_gen.py Release snapshot 2014-07-18 05:03:59 +10:00
syscall_stub_gen.py manual: group generated API methods by object type 2018-05-10 11:36:01 +10:00
xmllint.sh Release snapshot 2014-07-18 05:03:59 +10:00