using VPATH was a sweet idea, but it is to error-prone. Using direct path instead.
[mkws-moved-to-github.git] / src / releases /
2014-06-27 Wolfram Schneiderkeep directoy ./src/releases in git