<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Jul 5, 2013 at 6:38 PM, Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">At Fri, 5 Jul 2013 18:55:32 -0400, Eli Barzilay wrote:<br>
> Yesterday, Matthew Flatt wrote:<br>
> > At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote:<br>
> ><br>
> > > 2. It's possible to get lots of undefined tags in the documentation<br>
> > > builds. Should this be remedied with more build dependencies, or<br>
> > > will it be fixed with the online documentation server, or<br>
> > > something else?<br>
> ><br>
> > Mostly through an online documentation server and declaring certain<br>
> > documentation links to be "indirect" (which may sometimes involve<br>
> > adjusting the documentation content).<br>
><br>
> If the documentation requires consulting a server, then why distribute<br>
> them in the first place?<br>
<br>
</div>Reading documentation does require a server. </blockquote><div><br></div><div style>Missing a "not"?</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Following a link from<br>
installed documentation to uninstalled documentation requires a server.<br>
<div class="im"><br>
> There were a whole bunch of issues (most<br>
> notably a lack of a full text search) that are much easier to deal<br>
> with if the documentations are all on-line.<br>
<br>
</div>While I am interested in exploring installations where all<br>
documentation is online, there are also issues that seem harder to<br>
handle with exclusively online documentation (most notably, aspects of<br>
DrRacket's support for connecting code to documentation).<br>
<div class="HOEnZb"><div class="h5"><br>
_________________________<br>
Racket Developers list:<br>
<a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
</div></div></blockquote></div><br></div></div>