#!/bin/sh
# Copyright 1999-2002 Carnegie Mellon University.  
# Portions Copyright 2002 Sun Microsystems, Inc.  
# Portions Copyright 2002 Mitsubishi ElectricResearch Laboratories.
# All Rights Reserved.  Use is subject to license terms.
# 
# See the file "license.terms" for information on usage and
# redistribution of this file, and for a DISCLAIMER OF ALL 
# WARRANTIES.
#
# This script generates and pushes the DocCheck report
#

if ant -emacs javadoc_check 
then
    if [  -f bld/javadoc_check/index.html ]; then
        (cd bld; srsync htdocs javadoc_check)
        echo OK
    else
        echo Error: javadoc_check: no output produced
        echo " This typically occurs if the DocCheck doclet is not installed"
    fi
else
    echo Error: javadoc_check: command failed
fi
