[CI] Upload doc.

.github/workflows/ci.yaml

@@ -65,26 +65,27 @@ jobs:
         uses: jrl-umi3218/github-actions/build-cmake-project@master
         with:
           build-type: ${{ matrix.build-type }}
-      # - name: Upload documentation
-      #   if: env.UPLOAD_DOCUMENTATION == 'true'
-      #   run: |
-      #     set -e
-      #     set -x
-      #     cd ${GITHUB_WORKSPACE}/catkin_ws/src/${{ github.repository }}
-      #     git config --global user.name "Masaki Murooka"
-      #     git config --global user.email "[email protected]"
-      #     git remote set-url origin "https://github.com/${{ github.repository }}"
-      #     git fetch --depth=1 origin gh-pages:gh-pages
-      #     git clean -dfx
-      #     rm -rf cmake/
-      #     git checkout --quiet gh-pages
-      #     rm -rf doxygen/
-      #     cp -r ${GITHUB_WORKSPACE}/catkin_ws/build/mujoco_tactile_sensor_plugin/doc/html/ doxygen
-      #     git add doxygen
-      #     git_status=`git status -s`
-      #     if test -n "$git_status"; then
-      #       git commit --quiet -m "Update Doxygen HTML files from commit ${{ github.sha }}"
-      #       git push origin gh-pages
-      #     else
-      #       echo "Github pages documentation is already up-to-date."
-      #     fi
+          options: -DINSTALL_DOCUMENTATION=${{ env.UPLOAD_DOCUMENTATION }}
+      - name: Upload documentation
+        if: env.UPLOAD_DOCUMENTATION == 'true'
+        run: |
+          set -e
+          set -x
+          git config --global user.name "Masaki Murooka"
+          git config --global user.email "[email protected]"
+          git remote set-url origin "https://github.com/${{ github.repository }}"
+          git fetch --depth=1 origin gh-pages:gh-pages
+          cp -r build/doc/doxygen-html ../doxygen
+          git clean -dfx
+          rm -rf cmake/
+          git checkout --quiet gh-pages
+          rm -rf doxygen/
+          mv ../doxygen .
+          git add doxygen
+          git_status=`git status -s`
+          if test -n "$git_status"; then
+            git commit --quiet -m "Update Doxygen HTML files from commit ${{ github.sha }}"
+            git push origin gh-pages
+          else
+            echo "Github pages documentation is already up-to-date."
+          fi