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:11:42 +0000 (02:11 -0400)
commit7a3902be6ad8bcfbefe6f1383e2d34bab164b089
tree8429d45dd871cf74636bdee50e0aabc58915de7a
parentc50ee92315717c5e82a1cfec9f3b6305f24365a5
flush Mason cache when installing docs, related to #25944

Conflicts:
Makefile
Makefile