Re: [racket] Getting the old scribble css style in Racket 6.0

2014-03-13 Thread Ismael Figueroa
2014-03-12 19:47 GMT-03:00 Matthew Flatt : > See > > http://docs.racket-lang.org/scribble/manual.html > > Probably, you need to change "foo.scrbl" to start `#lang scribble/manual`, > but using `manual-doc-style` is also an option. > Thanks, that solved the issue. The document started with #lang

Re: [racket] Getting the old scribble css style in Racket 6.0

2014-03-12 Thread Matthew Flatt
See http://docs.racket-lang.org/scribble/manual.html Probably, you need to change "foo.scrbl" to start `#lang scribble/manual`, but using `manual-doc-style` is also an option. When a document is rendered via the `scribblings` field in "info.rkt", `raco setup` effectively adds `manual-doc-style`

[racket] Getting the old scribble css style in Racket 6.0

2014-03-12 Thread Ismael Figueroa
Hi all, I recently installed DrRacket 6.0, and I am now doing some scribbling work. However when I run scribble --html foo.scrbl I am getting the old css instead of the newest one... More strangely, when I install a package the documentation is "scribbled", and the resulting files use the new sty