diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index e0fb29d27..f75e88bf5 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -81,7 +81,7 @@ $(sdir)/zsh.texi.in: $(sdir)/zsh.yo zsh.texi: $(sdir)/zsh.texi.in @test -f $< -a -s $< tzsh=`echo zsh | sed '$(transform); s/,/\\\\,/g'`; \ - sed "/@setfilename/{; s/@setfilename //; s,zsh,$$tzsh, ; s/^/@setfilename /;}" < $< > zsh.texi + sed "/@setfilename/{s/@setfilename //; s,zsh,$$tzsh, ; s/^/@setfilename /;}" < $< > zsh.texi .yo.1: case $@ in \ |