Merge pull request #1219 from JasonZhongZexin/master

fix svf doxygen publish err
SVF-tools · Oct 10, 2023 · 60ac82e · 60ac82e
2 parents 0ae36c6 + ac53f82
commit 60ac82e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/svf-lib_publish.yml b/.github/workflows/svf-lib_publish.yml
@@ -75,7 +75,7 @@ jobs:
             git push https://yuleisui:${{secrets.yulei_git_key}}@github.com/SVF-tools/SVF.git   HEAD:master
             cd $GITHUB_WORKSPACE/docs && doxygen doxygen.config
             cd $GITHUB_WORKSPACE  && git clone https://github.com/SVF-tools/SVF-doxygen.git
-            cp -r $GITHUB_WORKSPACE/docs/generated-doc/html $GITHUB_WORKSPACE/SVF-doxygen/html
+            cp -r $GITHUB_WORKSPACE/docs/generated-doc/html $GITHUB_WORKSPACE/SVF-doxygen/
             cd $GITHUB_WORKSPACE/SVF-doxygen
             git add .
             if [ -n "$(git status -s)" ]; then git commit -m"update SVF doxygen"       ; fi