diff options
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index c75d01620..afa6380c3 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -117,7 +117,8 @@ zsh.info: $(sdir)/zsh.texi 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 $< | sed -e '1s/\\-/-/g' -e '/^\.'\''/d' > $$target \ + $(YODL) -I$(sdir) -w zman.yo version.yo $< | \ + sed -e '1s/\\-/-/g' -e '/^\.'\''/d' -e 's/\\fB'\''\\fP/\\fB\\\&'\''\\fP/' > $$target \ ;; esac; \ # These targets are no longer made by default, nor |