diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
-rw-r--r-- | Build/source/texk/web2c/Makefile.in | 3 |
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] |