diff --git a/.github/workflows/build-dev.yaml b/.github/workflows/build-dev.yaml
index 79a676e..442a702 100644
--- a/.github/workflows/build-dev.yaml
+++ b/.github/workflows/build-dev.yaml
@@ -46,6 +46,7 @@ jobs:
         # Put repo contents in /srv/repo, so they aren't mangled when we put user home in /home/jovyan
         REPO_DIR: /srv/repo
         # Fix man pages that are disabled by Ubuntu 18 minimal base image
+        APPENDIX_FILE: "appendix"
         REPO2DOCKER_EXTRA_ARGS: "--debug"
 
     # Lets us monitor disks getting full as images get bigger over time
diff --git a/postBuild b/appendix
similarity index 100%
rename from postBuild
rename to appendix