#!/bin/sh

TAGLETPATH=/mit/6.170/lib/javadoc6170.jar
JDKAPI=http://java.sun.com/j2se/1.4/docs/api/

TAGLETS=
for t in RequiresTaglet EffectsTaglet ModifiesTaglet ReturnsTaglet SpecfieldTaglet DerivedfieldTaglet; do
  TAGLETS="$TAGLETS -taglet javadoc6170.$t";
done;

exec javadoc -tagletpath $TAGLETPATH $TAGLETS -link "$JDKAPI" "$@"