diff --git a/documentation/dist/del2.txt b/documentation/dist/del2.txt
deleted file mode 100644
index e69de29..0000000
--- a/documentation/dist/del2.txt
+++ /dev/null