Move files to parent directory

Chi-EEE · Oct 7, 2023 · a686fe8 · a686fe8
1 parent 503556d
commit a686fe8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/generate_documentation.yml b/.github/workflows/generate_documentation.yml
@@ -21,7 +21,7 @@ jobs:
 
       - name: Move Doxygen HTML files into Doxygen directory
         run: |
-          mv "./docs/doxygen/html/*" "./docs/doxygen"
+          mv docs/doxygen/html/* .
         working-directory: ${{ github.workspace }}
 
       - name: Build JSDoc documentation