Changed docbuild makefiles

Martin Ceresa · Martin Ceresa · commit 0e8b2828fcaa · 2025-08-22T16:28:50.000-03:00
diff --git a/docbuild/Makefile b/docbuild/Makefile
@@ -5,7 +5,7 @@
 # @version 0.1
 
 all:
-	DOCGEN_SRC="file" lake build FraudProof:docs
+	DOCGEN_SRC="github" lake build FraudProof:docs
 
 update:
 	MATHLIB_NO_CACHE_ON_UPDATE=1 lake update doc-gen4
