Make the frames version a separate output mode

[duncan]

The frames version of the html haddock output is almost universally ignored. That is the files:

frames.html
index-frames.html
mini_$MODULE.html

which are generated to support the frames view.

Since nobody uses the frames view and it takes extra space and clutter, how about making it a separate mode.

--html         output in HTML
--html-frames  output in HTML using frames

Note: when extracting the frames code from the normal code, make sure to omit the on-load code from the html head:

<SCRIPT TYPE="text/javascript">
window.onload = function () {
  setSynopsis("mini_Distribution-Simple.html")
};
</SCRIPT>

[simonmar]

Seconded. This was an experiment, and it should be optional until we decide that it's really the way to go (probably not).

[anonymous]

Milestone 2.5.0 deleted