When I try running the MIF doclet by calling java on
Main at home (without -batch), I get this error:
 
 Using default batchmap file...
   javadoc: , 0: Incorrect entry in Batch Command Map file.

Do you know what this would be from?  
Why should it even care about the Batch Command Map file 
if I'm not using -batch?  
The fmbatch.map file looks fine.
 
This is the script I ran:
 
 /programs/j2sdk1.3.1_02/bin/java  -Xmx20M  -classpath /programs/j2sdk1.3.1_02/lib/tools.jar  com.sun.tools.javadoc.Main  -doclet com.sun.tools.doclets.mif.MIFDoclet  -docletpath build  -d sample-out-TMP  -sourcepath ../test/sample-src  com.package1 com.package2
  
======================================================================

======================================================================

We document that -batch can be omitted. so let not make it
a required option, as it is counter-intuitive
to use "-batch fmbatch -noexecutbatch" if you don't want the batch file.

So remove the error message.  If someone does not supply -batch,
then generate the MIF files, but don't generate mif-to-fm.batch file.

As a consequence, there will not need to be any change to the 
documentation.

  xxxxx@xxxxx   2002-02-07

Fixed by Jamie
  xxxxx@xxxxx   2002-02-22