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