#! /bin/csh -f

# substitute for ranlib; just types a line out instead of actually ranlib'ing

echo substitute ranlib: $*
