diff options
Diffstat (limited to 'Master/texmf-dist/doc/man/Makefile')
-rw-r--r-- | Master/texmf-dist/doc/man/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/man/Makefile b/Master/texmf-dist/doc/man/Makefile index b0d665adbb4..b99ec2863bb 100644 --- a/Master/texmf-dist/doc/man/Makefile +++ b/Master/texmf-dist/doc/man/Makefile @@ -20,5 +20,5 @@ $(DIR): so_pattern = ^\(.*\)\.1:\.so \(.*\)\.1$$ so_replace = \1.man1.pdf: \1.1 \2.1\n\t$$(MKPDF)\n so.rules: - grep '^\.so ' man1/* \ + @grep '^\.so ' man1/* \ | sed -e 's/$(so_pattern)/$(so_replace)/' |