diff options
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 7bd7986f6..cfe7a6dde 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -122,8 +122,8 @@ zsh.info: $(sdir)/zsh.texi *) target=$(sdir)/$@ ;; \ esac; \ case '$(YODL)' in :*) touch $$target ;; *) \ - echo $(YODL) -o $$target -I$(sdir) -w zman.yo version.yo $< ; \ - $(YODL) -I$(sdir) -w zman.yo version.yo $< | \ + echo $(YODL) -o $$target -I$(sdir):. -w zman.yo version.yo $< ; \ + $(YODL) -I$(sdir):. -w zman.yo version.yo $< | \ sed -e '1s/\\-/-/g' -e '/^\.'\''/d' -e 's/\(\\fB\)*'\''/\1\\\&'\''/' > $$target \ ;; esac; \ |