That error message comes from this code:

https://github.com/racket/drracket/blob/master/drracket/scribblings/drracket/interface-essentials.scrbl#L786-L826

I'm not sure what is going wrong there, but if you have a running
DrRacket elsewhere, you should be able to evaluate that code and put
some prints in to see what piece of information is different and then
maybe we can help more?

Robby



On Tue, Mar 13, 2018 at 6:27 AM, Claes Wallin <cla...@gmail.com> wrote:
> In my experiments to build nix derivations of racket packages, I'm now
> trying to build racket-doc and all its dependencies in one big bunch, kind
> of what the full racket build does. I'm getting this:
>
>> interface-essentials.scrbl: could not find "Modern" style
>
> That's in pkgs/drracket/scribblings/drracket/interface-essentials.scrbl .
>
> Where does it expect to find this style, and any ideas on why it doesn't?
>
> I have racket-minimal built in one place, and I have racket-doc and all its
> dependencies in one place, referring to racket-minimal directories via the
> various attributes in config.rktd. Whatever package Modern is defined in
> should be in our primary installation path together with racket-doc,
> racket-index, drracket and all the others except racket-minimal.
>
> I haven't run raco setup for racket-index (for reasons -- basically I
> haven't got it to build in the split-up configuration and I'm using the same
> build code here), could that be causing this?
>
> --
>    /c
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to