<html>

  <head>

    <meta content="text/html; charset=ISO-8859-1"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <div class="moz-cite-prefix">On 10/23/2013 10:03 AM, Max Andersen

      wrote:<br>

    </div>

    <blockquote cite="mid:20131023080315.GD6575@slowbeard.local"

      type="cite">

      <pre wrap="">About C - if the html is so often wrong these needs to change then that should simply not be included in the published updatesite zip;

or we simply do a basic respin to fix it - everything is tracked in git as opposed to "change it live on the server".

</pre>

    </blockquote>

    I'd be glad to remove creation of the HTML index. IMO, it doesn't

    provide enough value to add a maintenance effort.<br>

    <div class="moz-signature">-- <br>

      Mickael Istria<br>

      Eclipse developer at <a href="http://www.jboss.org/tools">JBoss,

        by Red Hat</a><br>

      <a href="http://mickaelistria.wordpress.com">My blog</a> - <a

        href="http://twitter.com/mickaelistria">My Tweets</a></div>

  </body>

</html>