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

This commit is contained in:
Tim-Philipp Müller 2016-01-06 18:56:38 +00:00
parent 2d38699144
commit d94e0c4563

View file

@ -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