Temporarily stop docgen of theory.

viklauverk · Jul 14, 2024 · a9428c7 · a9428c7
1 parent 444ff72
commit a9428c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/models/Makefile b/models/Makefile
@@ -6,7 +6,7 @@ $(shell rm -f *.pdf)
 endif
 
 EVBT?=evbt
-DIRS=$(shell echo */ | tr -d '/')
+DIRS=$(filter-out $(shell echo */ | tr -d '/'), SimpleTheoryTest)
 PDFS=$(addsuffix .pdf,$(DIRS))
 INFOS=$(addsuffix /project.info,$(DIRS))