#! /bin/csh -f
# $Id: petscman,v 1.15 1998/04/12 21:42:25 bsmith Exp $ 
#
#
if !($?PETSC_DIR) then
    setenv PETSC_DIR UNKNOWN_PETSC_DIRECTORY
endif
#
#
echo "PETScman is no longer provided! Just point your browser to"
echo "$PETSC_DIR/docs/manualpages/manualpages.html" 
echo "to access the PETSc manual pages and other PETSc documentation."
echo " "
echo "On the web they can be accessed at"
echo "http://www.mcs.anl.gov/petsc/docs/manualpages/manualpages.html"
