diff options
Diffstat (limited to 'Build/source/texk/gsftopk/Makefile.am')
-rw-r--r-- | Build/source/texk/gsftopk/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/gsftopk/Makefile.am b/Build/source/texk/gsftopk/Makefile.am index dd79410c82a..11309662481 100644 --- a/Build/source/texk/gsftopk/Makefile.am +++ b/Build/source/texk/gsftopk/Makefile.am @@ -34,10 +34,10 @@ gsftopkpsheaderdir = $(datarootdir)/texmf/dvips/gsftopk nodist_man1_MANS = gsftopk.1 gsftopk.1: gsftopk1.sed sedscript - sed -f sedscript <$(srcdir)/gsftopk1.sed >$@ + $(AM_V_GEN)sed -f sedscript <$(srcdir)/gsftopk1.sed >$@ sedscript: mksedscript Makefile - $(SHELL) $(srcdir)/mksedscript $(AM_CPPFLAGS) >$@ + $(AM_V_GEN)$(SHELL) $(srcdir)/mksedscript $(AM_CPPFLAGS) >$@ DISTCLEANFILES += gsftopk.1 sedscript |