#397, use writeFileChanged to make sure things don't rebuild if I whitespace edit Docs.hs
#397, use writeFileChanged to make sure things don't rebuild if I whitespace edit Docs.hs

ndmitchell/shake,ndmitchell/shake,ndmitchell/shake,ndmitchell/shake,ndmitchell/shake,ndmitchell/shake