flush Mason cache when installing docs, related to #25944
authorMark Wells <mark@freeside.biz>
Wed, 1 Jul 2015 06:09:16 +0000 (02:09 -0400)
committerMark Wells <mark@freeside.biz>
Wed, 1 Jul 2015 06:09:32 +0000 (02:09 -0400)
commit32888fd335b717020552f56523d1f3131c66d804
tree78a6d4cf8d9e4116d55310822ecfb42b428e2852
parent09b6319a486ae60d2f86b2e46acce96bf5aa5ffb
flush Mason cache when installing docs, related to #25944
Makefile