What has been changed:
1. Fixed problem with DISTFILES, when WITH_DEMOS=yes flag is specified
2. Added patch for openrm demos. Perhaps it is a kind of bad hack,
because I used EXTRA_PATCHES to point to addition patch for demos.
I guess, that it would be better to split port in two parts, one
containing the main distribution and the other with all demos.
Let me know if this is better way.
PR: ports/50744
Submitted by: Igor Pokrovsky <igor.pokrovsky@cnrm.meteo.fr>
5d042b5c1d