Tweak the gen_contents_index script
authorIan Lynagh <ian@well-typed.com>
Tue, 29 Jan 2013 15:59:39 +0000 (15:59 +0000)
committerIan Lynagh <ian@well-typed.com>
Tue, 29 Jan 2013 16:00:12 +0000 (16:00 +0000)
commit43cc231aafdbd3bb808a68821d1d2a302127420b
treeb43386178ec569def0cae11514e95fc0a332183b
parentba47b1db268176b8223e2a6a1bf4daa2877dd053
Tweak the gen_contents_index script
ghc.mk
libraries/gen_contents_index