NAME:
  mysqldocedit
 PURPOSE:   (one line only)
  GUI editor for database documentation system
 DESCRIPTION:
  This program allows for editing the doc table in a database in support
    of generating html documenation with mysqldoc.pro.
  Most functions should be obvious.  The one tricky thing is the macro
    name.  Any macro name you type in is not acknowledged and editable
    until you hit .
  All save options are transparent to the user and there is no "undo" feature.
 CATEGORY:
  Database
 CALLING SEQUENCE:
  mysqldocedit
 INPUTS:
 OPTIONAL INPUT PARAMETERS:
 KEYWORD INPUT PARAMETERS:
 OUTPUTS:
 KEYWORD OUTPUT PARAMETERS:
 COMMON BLOCKS:
 SIDE EFFECTS:
 RESTRICTIONS:
 PROCEDURE:
 MODIFICATION HISTORY:
 Written by Marc W. Buie, Lowell Observatory, 2006/12/10
 2006/01/24, MWB, fixed a problem with removing extraneous documentation
 2007/01/31, MWB, fixed a minor problem with mysqldoc call.
 2011/03/15, MWB, minor bug fix on one mysql command.
 2011/11/01, MWB, bug fix for writing to db directory not yet created