diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-05-01 13:15:34 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-01 13:19:27 +0200 |
commit | 609018dd09c4ffe27f9248b2d8b50f6196cd42b9 (patch) | |
tree | 9759ccf397c50c933aaa0511860d83e5178a993e /.arclint | |
parent | 56dbfe17d272670e5f2d082401c025755796950d (diff) |
doc: At long last fix ghc.mk
The variable reference was incorrectly escaped, meaning that Sphinx
documentation was never installed.
Diffstat (limited to '.arclint')
0 files changed, 0 insertions, 0 deletions