diff --git a/.github/workflows/build-dev.yaml b/.github/workflows/build-dev.yaml
index 442a702..79a676e 100644
--- a/.github/workflows/build-dev.yaml
+++ b/.github/workflows/build-dev.yaml
@@ -46,7 +46,6 @@ 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/appendix b/postBuild
similarity index 78%
rename from appendix
rename to postBuild
index 4e10dee..efc8bac 100644
--- a/appendix
+++ b/postBuild
@@ -1,5 +1,3 @@
-# Re-enable man pages disabled in Ubuntu 18 minimal image
-# https://wiki.ubuntu.com/Minimal
 USER root
 
 ENV R_VERSION="4.4.1"