#!/bin/bash # This script has to be run prior to a check-in if changes were done # to changes cp gnuplot.changes gnuplot-doc.changes