diff --git a/tools/github_actions_docs.sh b/tools/github_actions_docs.sh
index a531bccc6..4f9cbc979 100755
--- a/tools/github_actions_docs.sh
+++ b/tools/github_actions_docs.sh
@@ -1,4 +1,4 @@
 #!/bin/bash -ef
 
 cd doc
-make html
\ No newline at end of file
+make html-single