diff options
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 |