diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.am')
-rw-r--r-- | Build/source/texk/web2c/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/Makefile.am b/Build/source/texk/web2c/Makefile.am index 3c220910880..3ba66ee54db 100644 --- a/Build/source/texk/web2c/Makefile.am +++ b/Build/source/texk/web2c/Makefile.am @@ -138,6 +138,8 @@ tie_silent = $(tie_silent_@AM_V@) tie_silent_ = $(tie_silent_@AM_DEFAULT_V@) tie_silent_0 = @echo " TIE " $@; $(SHELL) ./silent-sh $@ # tie_silent_1 = +tie_c = $(tie) -c $@ +tie_m = $(tie) -m $@ # Calling tangle & Co. via tangle-sh (several output files) texmf_tangle = WEBINPUTS=.:$(srcdir) AM_V_P=$(AM_V_P) $(SHELL) ./tangle-sh $@ $(TANGLE) |