anchor.diff:  ####DOCKER FILE FOR IMAGE OF TEI JENKINS SERVER####
  +
  +# Written by Martin Holmes, December 2016. #
   
   # We start from the latest Jenkins, which is based on
   # openjdk:jdk-8, which is based ultimately on debian 
  
positive.code:     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. 
  # 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 \ 
  
negative.code:     rm hannom.zip && \
      fc-cache -f -v
  
  # 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
  
  # Now we try installing Jenkins plugins.
  # Recommended approach from hub.docker.com jenkins page:
  