docs: design: update list of disted files after file rename

diff --git a/docs/design/Makefile.am b/docs/design/Makefile.am
index b9acbba..15109c6 100644 (file)
--- a/docs/design/Makefile.am
+++ b/docs/design/Makefile.am
@@ -4,7 +4,6 @@ EXTRA_DIST = \
        draft-metadata.txt \
        draft-push-pull.txt \
        draft-tagreading.txt \
-       draft-tracing.txt \
        part-activation.txt \
        part-buffering.txt \
        part-bufferpool.txt \
@@ -55,6 +54,7 @@ EXTRA_DIST = \
        part-synchronisation.txt \
        part-toc.txt \
        part-TODO.txt \
+       part-tracing.txt \
        part-trickmodes.txt
 
 CLEANFILES = index.html index.txt