chore: remove update SUMMARY in make apidocs step (#580)

zama-ai · Apr 3, 2024 · 76a44b3 · 76a44b3
1 parent 6fe43cc
commit 76a44b3
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 41 deletions.
diff --git a/Makefile b/Makefile
@@ -453,9 +453,6 @@ remove_5c_docs:
 apidocs:
 	@# At release time, one needs to change --src-base-url (to be a public release/A.B.x branch)
 	./script/doc_utils/update_apidocs.sh "$(APIDOCS_OUTPUT)"
-
-	# Update our summary
-	./script/doc_utils/update_apidocs_files_in_SUMMARY.sh
 	"$(MAKE)" mdformat
 
 .PHONY: check_apidocs # Check that API docs are ok and

diff --git a/script/doc_utils/update_apidocs_files_in_SUMMARY.sh b/script/doc_utils/update_apidocs_files_in_SUMMARY.sh