diff options
| -rw-r--r-- | Doc/Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 73eed3100..99fcd37ec 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -78,9 +78,9 @@ zsh.dvi: zsh.texi $(sdir)/zsh.texi.in: $(sdir)/zsh.yo $(YODL) -o $(sdir)/zsh.texi.in -I$(sdir) -w ztexi.yo version.yo zsh.yo -zsh.texi: zsh.texi.in - @test -f $(sdir)/zsh.texi.in -a -s $(sdir)/zsh.texi.in - sed '/@setfilename/{; s/@setfilename //; $(transform) ; s/^/@setfilename /;}' < $(sdir)/zsh.texi > zsh.texi +zsh.texi: $(sdir)/zsh.texi.in + @test -f $< -a -s $< + sed '/@setfilename/{; s/@setfilename //; $(transform) ; s/^/@setfilename /;}' < $< > zsh.texi .yo.1: case $@ in \ |