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: ####DOCKER FILE FOR IMAGE OF TEI JENKINS SERVER####
  
  # We start from the latest Jenkins, which is based on
  # openjdk:jdk-8, which is based ultimately on debian 
  
negative.code: # Copy the jobs into place.
  COPY jobs/ /var/jenkins_home/jobs/
  
  # That should be it.