: --- IDOCLET.BAT:
:     Genera documentacion con posibilidad de incluir tags para definir
:     pre-condiciones, post-condiciones e invariantes.
:     
:     %1 archivo a documentar o @lista de archivos
:     %2 directorio de salida 
C:\jdk1.3\bin\java -mx40m -ms40m -cp C:iDoclet.jar;C:\jdk1.3\lib\tools.jar com.sun.tools.javadoc.Main -private -author -version -doclet iContract.doclet.Standard -sourcepath . -d %2 %1