The web site is down now? And I noticed a week or two ago that the documentation wouldn&#39;t load from the web -- this is down now too (at least the link I have bookmarked).<div><br></div><div>I see now that the build system builds a man page, but it would be nice if it build the html docs as well. Those are what I&#39;m used to referring to.</div>
<div><br></div><div>Cheers,</div><div>Eric</div><div><br></div>