diff options
author | 2021-12-04 15:31:12 -0700 | |
---|---|---|
committer | 2021-12-04 15:31:12 -0700 | |
commit | 48c2620e3e1874d36cdcd8c3fc9a6047c36617aa (patch) | |
tree | 386768f6d9d18af6bf43fe8747084a7168d466d3 /docs/update.sh | |
parent | 028d02ba7a616af3a8f3f04a451c6af324d8fb3c (diff) |
Refactor html docs build process to use new template and env variable
Diffstat (limited to 'docs/update.sh')
-rwxr-xr-x | docs/update.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/update.sh b/docs/update.sh index b4becc71a11..8ec416471f7 100755 --- a/docs/update.sh +++ b/docs/update.sh @@ -12,7 +12,8 @@ elif [ $LOCAL = $BASE ]; then echo "Need to pull" git pull make clean - make site + # The environment variable added here adds bottom left download pane. + MAMEDEV=1 make site elif [ $REMOTE = $BASE ]; then echo "Need to push" else |