diff --git a/sysdeps/arm/fpu/Dist b/sysdeps/arm/fpu/Dist
deleted file mode 100644
index d78de40205..0000000000
--- a/sysdeps/arm/fpu/Dist
+++ /dev/null
@@ -1 +0,0 @@
-ieee754.h