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:12:16 -0400 |
| commit | 3b7f6ca279f81d5a4e8e602e0ce5c89693c0ba1e (patch) | |
| tree | cbcbb583b176c655d523aa5a1b7dfc795cc6197b | |
| parent | 8f57cf37b51aefcdbf13fe09291611f1e8c08650 (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: |