summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wells <mark@freeside.biz>2015-07-01 02:09:16 -0400
committerMark Wells <mark@freeside.biz>2015-07-01 02:11:42 -0400
commit7a3902be6ad8bcfbefe6f1383e2d34bab164b089 (patch)
tree8429d45dd871cf74636bdee50e0aabc58915de7a
parentc50ee92315717c5e82a1cfec9f3b6305f24365a5 (diff)
flush Mason cache when installing docs, related to #25944
Conflicts: Makefile
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index bab47e4eb..cb93b9f0b 100644
--- a/Makefile
+++ b/Makefile
@@ -194,7 +194,8 @@ install-docs: docs
" ${MASON_HANDLER} || true
mkdir -p ${FREESIDE_EXPORT}/profile
chown freeside ${FREESIDE_EXPORT}/profile
- [ ! -e ${MASONDATA} ] && mkdir ${MASONDATA} || true
+ rm -r ${MASONDATA}
+ mkdir ${MASONDATA}
chown -R freeside ${MASONDATA}
dev-docs: