summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
-rw-r--r--Build/source/texk/web2c/Makefile.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in
index 8d9f5959f81..70dc2e6245c 100644
--- a/Build/source/texk/web2c/Makefile.in
+++ b/Build/source/texk/web2c/Makefile.in
@@ -7862,12 +7862,15 @@ uninstall-man: uninstall-man1 uninstall-man5
uninstall-man5
+# in case of an SVN repository
dist-hook:
rm -rf `find $(distdir) -name .svn`
+# Rebuild $(proglib)
$(proglib): $(KPATHSEA_DEPEND) ${srcdir}/lib/*.c
cd lib && $(MAKE) $(AM_MAKEFLAGS)
+# Rebuild Web2C programs
web2c/stamp-fixwrites: $(web2c_common) ${srcdir}/web2c/*.[chly]
cd web2c && $(MAKE) $(AM_MAKEFLAGS) stamp-fixwrites
web2c/stamp-splitup: $(web2c_common) ${srcdir}/web2c/*.[chly]