anchor.diff:      make -f Makefile.gnu rnv && \
       cp rnv /usr/bin/ && \
       cd ../
  -    
  -# Temporary: confirm rnv is there.
  -RUN ls /usr/bin/rnv
   
   # Install a bunch of packages we need. This package list has been 
   # customized a little from the original 2016 builder script set,
   # because we're working with Debian Jessie instead of Ubuntu.
  -# Commented-out packages are those reported by the build process
  -# as being already installed, presumably by upstream images. 
  +# Many required packages are already installed upstream. 
   # Various tex-related packages have been added as build failures
   # revealed the need for them.
   RUN apt-get update && apt-get --yes --force-yes --no-install-recommends install ant \ 
  
positive.code:     rm hannom.zip && \
      fc-cache -f -v
  
  # NOTE: NOT DOING THIS because of permissions issues;
  # we'll chown stuff instead.
  # We switch back to the jenkins user to install Jenkins plugins and
  # configure jobs.
  # USER jenkins
  
  # Next we'll grab some stuff from the TEI Jenkins repo on GitHub.
  RUN mkdir Jenkins
  RUN git clone https://github.com/TEIC/Jenkins.git Jenkins
  
  # Configure settings for git
  RUN git config --global user.email $JENKINS_USER_EMAIL
  RUN git config --global user.name $JENKINS_USER_NAME
  
  # Now we try installing Jenkins plugins.
  # Recommended approach from hub.docker.com jenkins page:
  
negative.code: # Copy the jobs into place.
  COPY jobs/ /var/jenkins_home/jobs/
  
  # That should be it.