Don't hardcode PREFIX. Set mandir to MANDIR, which is overridden in
post-patch by PKGMANDIR.
config files -> EGDIR; Install the remaining ones in post-install;
INSTALLATION_DIRS+=$EGDIR/mono/4.5; Fix prefix and mandir in post-patch
rather than hardcoding them in the patch file. This completes the update to
mono-dev. Test!
Resolved. Thanks for the help on this.