[tor-commits] [tor] branch main updated: doc/include.am: fix EXTRA_DIST

[gitolite role]

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 at 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.