From ad6b451b5667488cc3652dceee9b6a89f2fd094f Mon Sep 17 00:00:00 2001 From: "Alex Xu (Hello71)" Date: Mon, 6 Jun 2022 11:30:12 -0400 Subject: [PATCH] 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@