diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-02 17:17:16 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-08-03 00:15:14 +0200 |
| commit | 4631d03232968ee63b073e47818b3cd4a3647260 (patch) | |
| tree | 4cda2f931b814ca50e47025f6c9608a0f7073605 /simplify.c | |
| parent | b09b9dda368dcc8640f9dff2129e8b651872edf4 (diff) | |
| download | sparse-dev-4631d03232968ee63b073e47818b3cd4a3647260.tar.gz | |
doc: add index to the sidebar
It's very useful to be able to access the index from the sidebar
but no change in the configuration seems to allow this. Trying
to abuse the toctree give the same result.
So, add it directly via the template system.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'simplify.c')
0 files changed, 0 insertions, 0 deletions