Re: HTML export of profiler data

[John W. Eaton]

On 02/25/2016 01:41 PM, Daniel Kraft wrote:

> This was my first thought as well, but the patch actually already
> creates a whole directory of HTML files (for each function, roughly
> speaking) linked to each other.  So if there is a directory to send
> anyway, adding the CSS file seems like a small additional price to pay
> and is probably easier than fiddling the CSS into the HTML file
> (although that is not too hard as well).

OK, I didn't understand that there would be a set of files.  I thought 
there would just be one file with the data.  If it is a set of files, 
then yes, it does seem reasonable to put the CSS data in a separate file.

jwe