Re: [racket-dev] PLaneT(2): Single vs multi-collection packages

2013-06-04 Thread Laurent
On Mon, Jun 3, 2013 at 7:36 PM, Matthew Flatt wrote: > The simplification of not handling links also seems like a big weakness > to me. I think one of the best things about Jay's design is that I > don't have to change the way I think about a package when moving > between link and non-link modes

Re: [racket-dev] experiment reorganizing the repo into packages

2013-06-04 Thread Eli Barzilay
Yesterday, Matthew Flatt wrote: > At Mon, 3 Jun 2013 10:36:51 -0400, Eli Barzilay wrote: > > (BTW, a possible source of confusion: I'm assuming that > > distribution must be done via archives and not via repository > > specs, since there should be some way to put the compiled files in > > there. >

Re: [racket-dev] PLaneT(2): Single vs multi-collection packages

2013-06-04 Thread Eli Barzilay
Yesterday, Jay McCarthy wrote: > and you should deal with the non-proof of concept method of > specifying it in, for instance, the info file, which is now package > info AND collect info. This shouldn't be a problem -- *most* of the information in the info files that we have now is really informat

[racket-dev] from packages to installers

2013-06-04 Thread Matthew Flatt
DON'T PANIC I've pushed a new version of the package experiment: https://github.com/mflatt/racket/tree/pkg You won't see much difference in terms of package splitting. I haven't even renamed "-docs" packages to "-doc" packages, yet. This new version is about creating installers. Normall

Re: [racket-dev] from packages to installers

2013-06-04 Thread Robby Findler
Wow, cool! What exciting times we live in! :) Robby On Tuesday, June 4, 2013, Matthew Flatt wrote: > > > DON'T PANIC > > > I've pushed a new version of the package experiment: > > https://github.com/mflatt/racket/tree/pkg > > You won't see much difference in terms of package splitting. I

[racket-dev] patch to enable no-sidebar option in scribble

2013-06-04 Thread Andrei Mikhailov
Dear developers, Here is a bug report with a proposed patch. The HTML output of the scribble includes the "on this page" sidebar. Some people do not like this sidebar, because it seems to duplicate the table of contents. However, it seems that there is no style option to remove it. We propose th

Re: [racket-dev] patch to enable no-sidebar option in scribble

2013-06-04 Thread Sean McBeth
I'm not familiar with the ins and outs of Scribble, but it seems you could add to the scribble-style.css file: .tocsub{display:none;} On Tue, Jun 4, 2013 at 6:48 PM, Andrei Mikhailov wrote: > Dear developers, > > Here is a bug report with a proposed patch. > > The HTML output of the scribble in