r2056 by paul.biggar on Dec 09, 2008   Diff

The README was out of date. Refer
people to the manual instead.

r1799 by paul.biggar on Oct 21, 2008   Diff

Update the README to say it is out of
date. We should automatically generate
it from the manual instead.

r303 by paul.biggar on May 07, 2007   Diff

Rename --dump-php with --pretty-print
(lots of files affected here)
Move --obfuscate to general options.
Reorganize the options, perhaps not
perfectly
...