From 56f1dd7a658dd21bb267dc41fc0301adbd620a6d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 24 Jun 2022 18:28:53 +0100
Subject: Update build files for documentation

---
 doc/index.rst | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'doc/index.rst')

diff --git a/doc/index.rst b/doc/index.rst
index 06aa509..f5a7776 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -33,9 +33,11 @@ have all been proven correct, providing a verified translation from C to Verilog
    :caption: Sources
 
    src/Compiler
-   src/hls/RTLBlockInstr
-   src/hls/RTLBlockgen
-   src/hls/RTLBlockgenproof
+   src/hls/Gible.v
+   src/hls/GibleSeq.v
+   src/hls/GiblePar.v
+   src/hls/GibleSeqgen.v
+   src/hls/GibleSeqgenproof.v
 
 Publications
 ------------
-- 
cgit