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 afa6380c3..414ef4b28 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -118,7 +118,7 @@ zsh.info: $(sdir)/zsh.texi 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' -e 's/\\fB'\''\\fP/\\fB\\\&'\''\\fP/' > $$target \ + sed -e '1s/\\-/-/g' -e '/^\.'\''/d' -e 's/\(\\fB\)*'\''/\1\\\&'\''/' > $$target \ ;; esac; \ # These targets are no longer made by default, nor |