From 76a16498d5c76aa3fee0805b8241263249d71b94 Mon Sep 17 00:00:00 2001
From: Daniel Shahaf <d.s@daniel.shahaf.name>
Date: Tue, 16 Oct 2018 02:30:52 +0000
Subject: 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
---
 ChangeLog | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'ChangeLog')

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
-- 
cgit 1.4.1