#!/bin/csh -f
# jtb 001223
# This script installs any newly-modified "tech" files into the tech dir.

set binDir=~/bin
set techDir=$HTML_DIR/tech

set theFiles=(\
_install-html \
bulk_allfiles.hdr \
bulk_allfiles.tail \
bulk_newfiles.hdr \
bulk_newfiles.tail \
bulklist \
bulklist.sed.1 \
bulklist.sed.2 \
bulklist.sed.3 \
bulkfix \
bulkfix.sed \
do-makefiles \
stamp_rev-date \
stamp_bulkversion \
htmlstamp \
makebulk \
maketech \
bulkfixlist \
_newbulkroot \
makeweb)

echo Finding and updating the tech files... 
foreach x ($theFiles)
	find $binDir -name $x -newer $techDir/$x -exec echo "\t" Updating {} \; -exec cp {} $techDir/. \;
	chmod a+r $techDir/$x
end

# jtb 010204 -- copy the BULKMAKE file
set x="BULKMAKE"
find $HTML_DIR -name $x -newer $techDir/$x -exec echo "\t" Updating {} \; -exec cp {} $techDir/. \;
chmod a+r $techDir/$x

echo Tech directory is up to date.