Instructions for installing the dgd-rgx package:

 This version has been tested with version 1.0.9 of DGD.

 1. Copy the files `rgx.c' and `rgx.h' from the ./src directory in this
    distribution into the src directory of the DGD distribution.

 2. Create a directory `regex' in the src directory of the DGD
    distribution, and copy all of the files from ./src/regex into it.

 3. Apply the ./src/dgd.diffs file to your DGD source tree by cd'ing above
    the DGD distribution and running a command like:

        patch -p < dgd.diffs

    (Substituting "dgd.diffs" with the actual pathname to the diffs
    file.)

 4. Rebuild DGD.