diff -r 8e3a4725e32e -r 43d706d38fa4 transforms/devel --- a/transforms/devel Thu Jul 18 13:19:11 2013 -0700 +++ b/transforms/devel Fri Jul 19 07:34:34 2013 +0200 @@ -43,3 +43,6 @@ # autoconf macros \ default facet.devel all> + +# delete facet.devel completely if it's set to 'false' in the p5m + delete facet.devel false>