From 37edb43b6060bc9e7285e4a8b66baf08f6e2fe09 Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Fri, 1 Jul 2016 18:03:38 +0200
Subject: [PATCH] ROMFS: Strip README files

---
 Tools/px_romfs_pruner.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Tools/px_romfs_pruner.py b/Tools/px_romfs_pruner.py
index fa48019bd0..d6481e03ed 100644
--- a/Tools/px_romfs_pruner.py
+++ b/Tools/px_romfs_pruner.py
@@ -68,6 +68,11 @@ def main():
                 os.remove(file_path)
                 continue
 
+            # delete documentation
+            if file.startswith("README"):
+                os.remove(file_path)
+                continue
+
             # only prune text files
             if ".zip" in file or ".bin" in file or ".swp" in file \
                     or ".data" in file or ".DS_Store" in file: