Documentation/user/convert-mudela.itexi

   1 @node convert-mudela, , ,Top
   2 @chapter convert-mudela
   3 @code{convert-mudela} sequentially applies different
   4 mudela-conversions to upgrade a Mudela input file.  It uses
   5 @code{\version} statements in the file to detect the old version
   6 number.
   7
   8 @example
   9         convert-mudela [options] [files]
  10 @end example
  11
  12 @section Options
  13 @table @samp
  14 @item --output
  15     The output file to write.
  16 @item --edit
  17     Do an inline edit of the input file. override @code{--output}
  18 @item --show-rules
  19     shows all known conversions, and exit
  20 @item --from=@var{FROM_PATCHLEVEL}
  21     Set the level to convert from. If this is not set, convert-mudela will
  22     guess this, on the basis of @code{\version} strings in the file
  23 @item --to=@var{TO_PATCHLEVEL}
  24     Set the goal version of the conversion. It defaults to the latest
  25     available version.
  26 @end table
  27
  28 Not all language changes are handled. Multiple output options won't
  29 work.
  30
  31 convert-mudela is written in python, so you have install
  32 @uref{http://www.python.org,python}.  It was written by
  33 @email{hanwen@@cs.uu.nl, Han-Wen Nienhuys}.
  34
  35
  36