diff options
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 0368ab3e3..7ca9dd25c 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -210,11 +210,19 @@ zshzftpsys.1: Zsh/zftpsys.yo zshzle.1: Zsh/zle.yo +# This should depend on config.status to get the /etc files right +# but that would introduce a dependency on Yodl in shipped versions +# of the shell that we want to avoid. version.yo: $(sdir_top)/Config/version.mk ( \ echo 'IFDEF(INCWSLEVEL)(INCWSLEVEL())(STARTDEF())'; \ echo 'def(version)(0)('$(VERSION)')'; \ echo 'def(date)(0)('$(VERSION_DATE)')'; \ + echo 'def(zshenv)(0)(@zshenv@)'; \ + echo 'def(zprofile)(0)(@zprofile@)'; \ + echo 'def(zshrc)(0)(@zshrc@)'; \ + echo 'def(zlogin)(0)(@zlogin@)'; \ + echo 'def(zlogout)(0)(@zlogout@)'; \ echo 'IFDEF(DECWSLEVEL)(DECWSLEVEL())(ENDDEF())#' | tr '#' '\\'; \ ) > $(sdir)/version.yo |