From 99cdabab00bd0c634612418651a6c8c8cae8ef5b Mon Sep 17 00:00:00 2001
From: Luca Bruno <lucab@debian.org>
Date: Sat, 8 Feb 2014 14:07:02 +0100
Subject: [PATCH] make: update dist target for renamed files

src/README.txt has been renamed in a30d61b05a, make dist is
thus failing as unable to find it.
This commit makes the dist target working again.

Signed-off-by: Luca Bruno <lucab@debian.org>
---
 mk/dist.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mk/dist.mk b/mk/dist.mk
index 656811bab4d..a625e2f0481 100644
--- a/mk/dist.mk
+++ b/mk/dist.mk
@@ -26,7 +26,7 @@ PKG_FILES := \
     $(S)man                                    \
     $(S)doc                                    \
     $(addprefix $(S)src/,                      \
-      README.txt                               \
+      README.md                                \
       driver                                   \
       librustc                                 \
       compiletest                              \