diff options
Diffstat (limited to 'Build/source/texk/Makefile.in')
-rw-r--r-- | Build/source/texk/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/Makefile.in b/Build/source/texk/Makefile.in index 1812eab4435..3f46fcc9407 100644 --- a/Build/source/texk/Makefile.in +++ b/Build/source/texk/Makefile.in @@ -54,7 +54,7 @@ distclean:: (cd $$d && $(MAKE) $(makeargs) $@) || exit 1; else true; fi; done distclean realclean:: - rm -f Makefile Makefile.aux config.status config.cache config.log libtool kpse_empty + rm -f Makefile Makefile.aux config.status config.cache config.log libtool # Unconditionally remake the library, since we don't want to write out # the dependencies here. |