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

diff --git a/docs/design/Makefile.am b/docs/design/Makefile.am
index b9acbbabbff5ae9688b186bb69ced9adb8e217ed..15109c618cb927cb5d478005d7f4ffc76fa31fbf 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