For my local examples site, add aliases for /tools/htdocs/, /src/,
[mkws-moved-to-github.git] / test / etc /
2014-04-09 Wolfram Schneiderlogroate config