diff options
| author | Sebastian Meric de Bellefon <Sebastian.MericdeBellefon@tritondigital.com> | 2016-05-24 17:36:34 -0400 |
|---|---|---|
| committer | Sebastian Meric de Bellefon <Sebastian.MericdeBellefon@tritondigital.com> | 2016-05-24 22:03:55 -0400 |
| commit | 474a0c182d6ef9a7e93e277a2755d04d943059a0 (patch) | |
| tree | 1bad321608bbeea28ec4a268620ef1fd94f060e1 /html-test/ref/mini_GADTRecords.html | |
| parent | 6db811aefb9cba65c8efe3876e850c813f280b6c (diff) | |
remove framed view of the HTML documentation (see #114 and #274)
Frames are a bit broken, ignored by Hackage, and considered obsolete in general.
This patch disables frames generation. The mini_*.html files are still used in the synopsis.
Diffstat (limited to 'html-test/ref/mini_GADTRecords.html')
0 files changed, 0 insertions, 0 deletions