+HG_MOZD_DIR=/mnt/mozilla/hg/comm-beta/mozilla
+MOZD_HG_OPTIONS=
+MOZD_DIR="devtools/client/themes/ devtools/client/webide/themes/"
+MOZD_TAG_PRE=$TAG_PRE_MOZ
+MOZD_TAG_POST=$TAG_POST_MOZ
+MOZD_NAME_EXTRA=" (devtools)"
+MOZD_LOG=$RUN_DIR/theme-devtools.$NAME_PRE-$NAME_POST.log
+