Correcting wrong installer directory moving check in progress-linux mode.
tree8155a878fb066cbde841502ba88de7810da6608b
-rw-r--r-- 35147 COPYING
-rw-r--r-- 2874 Makefile
-rw-r--r-- 335 README.Python
-rw-r--r-- 10 VERSION
drwxr-xr-x - data
drwxr-xr-x - debian
drwxr-xr-x - examples
drwxr-xr-x - frontend
drwxr-xr-x - functions
drwxr-xr-x - manpages
drwxr-xr-x - scripts
drwxr-xr-x - share
drwxr-xr-x - templates