diff options
Diffstat (limited to 'Build/source/texk/kpathsea/Makefile.am')
-rw-r--r-- | Build/source/texk/kpathsea/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/kpathsea/Makefile.am b/Build/source/texk/kpathsea/Makefile.am index 67b4541d425..8179942bbd9 100644 --- a/Build/source/texk/kpathsea/Makefile.am +++ b/Build/source/texk/kpathsea/Makefile.am @@ -283,14 +283,14 @@ uninstall-local: if !WIN32 @for f in $(dist_noinst_SCRIPTS); do \ if grep "original $$f --" "$(DESTDIR)$(bindir)/$$f" >/dev/null 2>&1; then \ - echo " rm -f '$(DESTDIR)$(bindir)/$$f'"; \ + echo " rm -f '$(DESTDIR)$(bindir)/$$f'"; \ rm -f "$(DESTDIR)$(bindir)/$$f"; \ else :; fi; \ done endif !WIN32 @for f in $(dist_noinst_DATA); do \ if grep "original $$f --" "$(DESTDIR)$(web2cdir)/$$f" >/dev/null 2>&1; then \ - echo " rm -f '$(DESTDIR)$(web2cdir)/$$f'"; \ + echo " rm -f '$(DESTDIR)$(web2cdir)/$$f'"; \ rm -f "$(DESTDIR)$(web2cdir)/$$f"; \ else :; fi; \ done |