diff --git a/docs/source/index.rst b/docs/source/index.rst index 0527fb4..5dc6930 100644 --- a/docs/source/index.rst +++ b/docs/source/index.rst @@ -22,6 +22,7 @@ at the moment.) install.rst quickstart.rst reference.rst + autotune.rst verilog.rst verific.rst license.rst