(do-install): Add `shift' command.
tree978fd96ff362349cdca5c2dfe9e25207d3aa777e
-rw-r--r-- 4561 GETTING.GNU.SOFTWARE
-rw-r--r-- 19452 Makefile.in
-rw-r--r-- 30940 PROBLEMS
-rwxr-xr-x 4767 build-ins.in
-rwxr-xr-x 4427 config.guess
-rwxr-xr-x 13774 config.sub
-rwxr-xr-x 29454 configure1.in
drwxr-xr-x - etc
drwxr-xr-x - lib-src
drwxr-xr-x - lisp
drwxr-xr-x - lispref
-rwxr-xr-x 11063 make-dist
drwxr-xr-x - src