diff options
author | Mark Wells <mark@freeside.biz> | 2015-07-01 02:09:16 -0400 |
---|---|---|
committer | Mark Wells <mark@freeside.biz> | 2015-07-01 02:11:42 -0400 |
commit | 7a3902be6ad8bcfbefe6f1383e2d34bab164b089 (patch) | |
tree | 8429d45dd871cf74636bdee50e0aabc58915de7a | |
parent | c50ee92315717c5e82a1cfec9f3b6305f24365a5 (diff) |
flush Mason cache when installing docs, related to #25944
Conflicts:
Makefile
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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: |