diff options
author | Daniel Shahaf <d.s@daniel.shahaf.name> | 2018-10-16 02:30:52 +0000 |
---|---|---|
committer | Daniel Shahaf <d.s@daniel.shahaf.name> | 2018-10-16 23:21:28 +0000 |
commit | 76a16498d5c76aa3fee0805b8241263249d71b94 (patch) | |
tree | eb8bf905031419d0b0de970ef17e5e31fb7e6c90 /ChangeLog | |
parent | a8f90de4ffad2c0842bcff5998f50912e132e6d3 (diff) | |
download | zsh-76a16498d5c76aa3fee0805b8241263249d71b94.tar.gz zsh-76a16498d5c76aa3fee0805b8241263249d71b94.tar.xz zsh-76a16498d5c76aa3fee0805b8241263249d71b94.zip |
43692: Generate man pages in the build dir, rather than the source dir.
The following files are still generated in the source dir (in out-of-tree builds): Doc/Zsh/manmodmenu.yo Doc/Zsh/modlist.yo Doc/Zsh/modmenu.yo Doc/version.yo Doc/zsh.idx Doc/zsh.texi META-FAQ
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 619758ffa..2f43728eb 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2018-10-16 Daniel Shahaf <d.s@daniel.shahaf.name> + + * 43692: Doc/Makefile.in: Generate man pages in the build dir, + rather than the source dir. + 2018-10-15 dana <dana@dana.is> * 43672: Doc/Zsh/redirect.yo: Document result of redirecting |