Fix updates to the devmanual.

naev · Jul 3, 2023 · 293c8df · 293c8df
1 parent e2e28bc
commit 293c8df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/website_build.yml b/.github/workflows/website_build.yml
@@ -80,7 +80,7 @@ jobs:
         working-directory: ${{ github.workspace }}/staging/docs/manual
       - name: "Stage Updated Files"
         run: 
-          cp -Ru build/docs/lua/* ../prod/api # && mkdir -p ../prod/devmanual && cp docs/manual/*.pdf ../prod/devmanual
+          cp -Ru build/docs/lua/* ../prod/api  && mkdir -p ../prod/devmanual && cp docs/manual/*.pdf ../prod/devmanual
         working-directory: ${{ github.workspace }}/staging
       - name: "Add Updated Files"
         run: |