#!/bin/sh
|
JS_DIR=`dirname "$0"`/../program/js
|
|
if [ ! -d "$JS_DIR" ]; then
|
echo "Directory $JS_DIR not found."
|
exit 1
|
fi
|
|
for fn in app common googiespell list treelist; do
|
if [ -r "$JS_DIR/${fn}.js.src" ]; then
|
mv "$JS_DIR/${fn}.js.src" "$JS_DIR/${fn}.js"
|
echo "Reverted $JS_DIR/${fn}.js"
|
fi
|
done
|