update github.io page

jmwang66

2022-12-26 8b3e0e52c50f0bf27cc2eb5a44b428e44f48ae62

 .github/workflows/main.yml

@@ -21,7 +21,7 @@
      if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev'
      run: |
        mkdir public
        cp -r docs/build/html/* public/
        cp -r docs/build_/html/* public/

    - name: deploy github.io pages
      if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev'