From 518a3663b75f35fe326e1ac827176b1da93dfdda Mon Sep 17 00:00:00 2001
From: "sof@galois.com" <unknown>
Date: Mon, 25 Sep 2006 23:21:25 +0000
Subject: [PATCH] rejig library include/ files

---
 distrib/prep-bin-dist-mingw |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/distrib/prep-bin-dist-mingw b/distrib/prep-bin-dist-mingw
index b2be5c9..2dc7c6e 100644
--- 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
-- 
1.7.10.4