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:21:43 +0200 |
| commit | fea4b0a3589ad67d72594b16ceb0e6922e7f2bb8 (patch) | |
| tree | 7678b6bbc9b62e12313170604c52ec125d03b8fc /html-test/ref/mini_Ticket112.html | |
| parent | 3b980e7fc47bb898b00c7d37d442e0fd5716cb7c (diff) | |
doc: At long last fix ghc.mk
The variable reference was incorrectly escaped, meaning that Sphinx
documentation was never installed.
(cherry picked from commit 609018dd09c4ffe27f9248b2d8b50f6196cd42b9)
Diffstat (limited to 'html-test/ref/mini_Ticket112.html')
0 files changed, 0 insertions, 0 deletions