change api docs

Author: pink10000

.github/workflows/blueprint.yml

@@ -53,7 +53,7 @@ jobs:
           restore-keys: MathlibDoc-
 
       - name: Build project API documentation
-        run: ~/.elan/bin/lake -R -Kenv=dev build LeanCommAlg:docs
+        run: ~/.elan/bin/lake -R -Kenv=dev build docs
 
       - name: Check for `home_page` folder # this is meant to detect a Jekyll-based website
         id: check_home_page