Fix Pages deployment

Contrary to the documentation, upload-pages-artifact does not actually
gzip-compress the tar it creates, and accordingly, deploy-pages is
unhappy with a compressed tarball. Make the necessary changes to produce
and upload an uncompressed tar instead.

.github/workflows/docs.yml

@@ -28,7 +28,7 @@ jobs:
         with:
           if-no-files-found: error
           name: github-pages
-          path: ${{github.workspace}}/cps-docs.tar.gz
+          path: ${{github.workspace}}/cps-docs.tar
   deploy:
     if: github.event.repository.default_branch == github.ref_name
     needs: build

Makefile

@@ -24,12 +24,12 @@ endif
 
 SRCDIR ?= $(dir $(realpath $(firstword $(MAKEFILE_LIST))))
 OUTDIR ?= $(join $(SRCDIR),_site)
-ARCHIVE ?= cps-docs.tar.gz
+ARCHIVE ?= cps-docs.tar
 SPHINXOPTS ?=
 
 venv := $(notdir $(realpath $(shell $(POETRY) env info --path 2> $(--null))))
 
-archive.flags += --create --gzip --verbose
+archive.flags += --create --verbose
 archive.flags += --file=$(ARCHIVE)
 archive.flags += --directory=$(OUTDIR)
 ifneq ($(OS),Windows_NT)