diff options
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 |