Commit f4b8c5856fb76889f8a44287c2bf48256f1a2a00

Stefano Lattarini 2012-04-13T14:36:31

Merge branch 'maint' * maint: install: shell parameter expansions can be used in directory names