allow for docker pdf compilation

Docker/Dockerfile

@@ -6,6 +6,8 @@ COPY x-install.sh /
 
 COPY tlmgrDeps.sh /
 
+COPY gimme /usr/bin/
+
 RUN /x-install.sh
 
 ENV PATH="/opt/texlive/2023/bin/x86_64-linux:${PATH}"

Docker/README.md

-These files make up the docker which runs the BIND CI line.
-If you want to change things and upload them, you'll need to sign up to docker.com and use your own username.
+These files create the docker container which runs the BIND CI line.
+
+### Compiling with this image
+
+List any of the existing BIND books in a variable, then build them in a container:
+
+```bash
+books="core stories mim"
+docker run -it --rm --name texbooks andonome/texbind:latest gimme $books
+```
+
+Copy the files from the container:
+
+```bash
+docker cp -a texbooks:BIND .
+```
+
+### Make a new image
 
 ```bash
 docker login
 docker build -t $USERNAME/texbind .
 docker push $USERNAME/texbind
 ```
+...then change the CI file to match your username.

Docker/gimme

+#!/bin/sh
+
+# This script clones and comples BIND books.
+
+set -e
+
+mkdir -p /BIND/
+
+for b in $@; do
+    git clone https://gitlab.com/bindrpg/$b
+    make -C $b all
+done
+
+# The second compilation means the cross-references should work.
+
+for n in 1 2; do
+    for b in $@; do
+        make -C $b all
+    done
+done
+
+cp **/*.pdf /BIND/
+
+echo -e '\n\n\nCopy your files over by opening a new terminal, and running:\n\n'
+sleep 1
+echo 'docker cp -a texbooks:BIND .'
+sleep 4
+echo 'Once done, press the return key'
+read x