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 957c73bd0..56afddca6 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -82,7 +82,7 @@ everything: all zsh.dvi zsh_us.ps zsh_a4.ps zsh_toc.html zsh.dvi: $(sdir)/zsh.texi $(TEXI2DVI) $(sdir)/zsh.texi -zsh.texi $(sdir)/zsh.texi: +$(sdir)/zsh.texi: case $@ in \ */*) target=$@ ;; \ *) target=$(sdir)/$@ ;; \ |