diff options
Diffstat (limited to 'doc/index.rst')
| -rw-r--r-- | doc/index.rst | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/doc/index.rst b/doc/index.rst new file mode 100644 index 0000000..ebb99df --- /dev/null +++ b/doc/index.rst @@ -0,0 +1,26 @@ +.. Vericert documentation master file, created by + sphinx-quickstart on Sat Mar 26 18:15:40 2022. + You can adapt this file completely to your liking, but it should at least + contain the root `toctree` directive. + +Vericert's Documentation +======================== + +.. toctree:: + :maxdepth: 2 + :caption: Content: + + vericert + +.. toctree:: + :maxdepth: 1 + :caption: Sources: + + src/Compiler + src/hls/RTLBlockInstr + +Indices +================== + +* :ref:`genindex` +* :ref:`search` |