diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 12e488eebba..0c11828deb2 100644 --- a/Makefile.in +++ b/Makefile.in | |||
| @@ -721,8 +721,8 @@ uninstall: uninstall-$(NTDIR) uninstall-doc | |||
| 721 | -unset CDPATH; \ | 721 | -unset CDPATH; \ |
| 722 | for dir in "$(DESTDIR)${lispdir}" "$(DESTDIR)${etcdir}" ; do \ | 722 | for dir in "$(DESTDIR)${lispdir}" "$(DESTDIR)${etcdir}" ; do \ |
| 723 | if [ -d "$${dir}" ]; then \ | 723 | if [ -d "$${dir}" ]; then \ |
| 724 | case `cd "$${dir}" && /bin/pwd` in \ | 724 | case `cd "$${dir}" ; /bin/pwd` in \ |
| 725 | "`cd ${srcdir} && /bin/pwd`"* ) ;; \ | 725 | "`cd ${srcdir} ; /bin/pwd`"* ) ;; \ |
| 726 | * ) rm -rf "$${dir}" ;; \ | 726 | * ) rm -rf "$${dir}" ;; \ |
| 727 | esac ; \ | 727 | esac ; \ |
| 728 | case "$${dir}" in \ | 728 | case "$${dir}" in \ |