#! /bin/tcsh
  # autoconf
  # autoheader
  ./configure --enable-sscl
  make install-strip
  make dvi