users_guide: Set flags list file encoding

Authored by bgamari on Wed, Nov 6, 9:04 PM.

Description

users_guide: Set flags list file encoding

Otherwise this fails on Windows.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Thu, Nov 7, 8:25 PM
Parents
rGHC23994738f2d4: rts/NonMoving: Fix various Windows build issues
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCa3ce52fd5704: users_guide: Set flags list file encoding (authored by bgamari).Thu, Nov 7, 8:25 PM