diff options
| -rw-r--r-- | ChangeLog | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -127,8 +127,9 @@ and build directories in sequence; it could be in either place depending on whether the build is from the Git repository or from a distribution archive. Annotate this. Fixes - "install-doc" target when building from Git repository. Thanks - to Nikita Ivanov for the report. + "install-doc" target when building from Git repository. Problem + introduced by me in commit 691fc70108, 22 February. Thanks to + Nikita Ivanov for the report. (install-pdf-local, install-html-local): Similar. 2023-03-10 G. Branden Robinson <g.branden.robinson@gmail.com> |