Fix devmanual generation.

Author: ProjectSynchro

.github/workflows/website_build.yml

@@ -58,6 +58,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: 'naev/naev'
+          submodules: 'recursive'
           path: /__w/naev.github.io/naev.github.io/staging
       - name: "Build API Docs"
         run: |
@@ -66,12 +67,14 @@ jobs:
         working-directory: ${{ github.workspace }}/staging
       - name: "Build Manual PDF"
         run: |
+          OLDHOME="$HOME"
+          export HOME="/root"
           make naev_dev_manual.pdf
+          export HOME="$OLDHOME"
         working-directory: ${{ github.workspace }}/staging/docs/manual
       - name: "Stage Updated Files"
         run: 
-          rsync -avzh build/docs/lua/ /__w/naev.github.io/naev.github.io/prod/api
-          rsync -avzh docs/manual/naev_dev_manual.pdf /__w/naev.github.io/naev.github.io/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: |