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_PruneWithWarning.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_PruneWithWarning.html')
0 files changed, 0 insertions, 0 deletions