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:12:16 +0000 (02:12 -0400)
commit3b7f6ca279f81d5a4e8e602e0ce5c89693c0ba1e
treecbcbb583b176c655d523aa5a1b7dfc795cc6197b
parent8f57cf37b51aefcdbf13fe09291611f1e8c08650
flush Mason cache when installing docs, related to #25944

Conflicts:
Makefile
Makefile