From 6959b38a343d4575efc442ea02422dc64cf59d00 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 28 Mar 2022 01:25:28 +0100
Subject: Add to documentation

---
 doc/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index 5662645..8a34845 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -9,7 +9,7 @@ SOURCEDIR         = .
 BUILDDIR          = _build
 SOURCE_DATE_EPOCH = $(shell git log -1 --format=%ct)
 
-VS_DOCS := ../src/Compiler.v ../src/hls/RTLBlockInstr.v
+VS_DOCS := Compiler.v hls/RTLBlockInstr.v hls/RTLBlockgen.v hls/RTLBlockgenproof.v
 
 # Put it first so that "make" without argument is like "make help".
 help:
@@ -20,5 +20,5 @@ help:
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
-	$(foreach d,$(VS_DOCS),cp $(d) $(patsubst ../%,%,$(d));)
+	$(foreach d,$(VS_DOCS),cp ../src/$(d) src/$(d);)
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
-- 
cgit