rejig library include/ files

diff --git a/distrib/prep-bin-dist-mingw b/distrib/prep-bin-dist-mingw
index b2be5c9..2dc7c6e 100644 (file)
--- a/distrib/prep-bin-dist-mingw
+++ b/distrib/prep-bin-dist-mingw
@@ -98,6 +98,8 @@ rmdir bin/i386-unknown-mingw32
 strip bin/ghc.exe
 
 echo "rejig lib/"
+mv lib/i386-unknown-mingw32/include/* include/ 
+rmdir lib/i386-unknown-mingw32/include
 mv lib/i386-unknown-mingw32/* .
 rmdir lib/i386-unknown-mingw32
 rmdir lib