Aleksander Machniak
2013-05-09 f76fa5005234ff01a04dcec6cde2b6c774eda624
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/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