From d94e0c4563e640dba5e8e8911c4892ac8f7eb0ad Mon Sep 17 00:00:00 2001 From: =?utf8?q?Tim-Philipp=20M=C3=BCller?= Date: Wed, 6 Jan 2016 18:56:38 +0000 Subject: [PATCH] docs: design: update list of disted files after file rename --- docs/design/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/design/Makefile.am b/docs/design/Makefile.am index b9acbba..15109c6 100644 --- 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 -- 2.7.4