This is an automated email from the git hooks/post-receive script. dgoulet pushed a commit to branch main in repository tor. The following commit(s) were added to refs/heads/main by this push: new ad6b451b56 doc/include.am: fix EXTRA_DIST new 5f548f05d2 Merge branch 'tor-gitlab/mr/585' ad6b451b56 is described below commit ad6b451b5667488cc3652dceee9b6a89f2fd094f Author: Alex Xu (Hello71) <alex_y_xu@yahoo.ca> AuthorDate: Mon Jun 6 11:30:12 2022 -0400 doc/include.am: fix EXTRA_DIST --- doc/include.am | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/include.am b/doc/include.am index d10f380e7f..7570978ddb 100644 --- a/doc/include.am +++ b/doc/include.am @@ -56,10 +56,10 @@ EXTRA_DIST+= doc/asciidoc-helper.sh \ doc/HACKING/HelpfulTools.md \ doc/HACKING/HowToReview.md \ doc/HACKING/Module.md \ - doc/HACKING/ReleasingTor.md \ - doc/HACKING/WritingTests.md - doc/HACKING/tracing/Tracing.md \ - doc/HACKING/tracing/EventsCircuit.md + doc/HACKING/ReleasingTor.md \ + doc/HACKING/WritingTests.md \ + doc/HACKING/tracing/EventsCircuit.md \ + doc/HACKING/tracing/README.md docdir = @docdir@ -- To stop receiving notification emails like this one, please contact the administrator of this repository.