Rename batch file.
tree06510d754087662c52d1a3110a3fc40b38ae950f
drwxr-xr-x - Demo
drwxr-xr-x - Doc
drwxr-xr-x - Grammar
drwxr-xr-x - Include
-rw-r--r-- 13675 LICENSE
drwxr-xr-x - Lib
drwxr-xr-x - Mac
-rw-r--r-- 36207 Makefile.pre.in
drwxr-xr-x - Misc
drwxr-xr-x - Modules
drwxr-xr-x - Objects
drwxr-xr-x - PC
drwxr-xr-x - PCbuild
drwxr-xr-x - Parser
drwxr-xr-x - Python
-rw-r--r-- 55457 README
drwxr-xr-x - RISCOS
drwxr-xr-x - Tools
-rwxr-xr-x 657948 configure
-rw-r--r-- 100380 configure.in
-rwxr-xr-x 7122 install-sh
-rw-r--r-- 28742 pyconfig.h.in
-rw-r--r-- 73317 setup.py