Spencer, when you have a solution, please share. I am facing the exact same
problem rendering 2e, but have deferred writing a script to rewrite the
resulting tex prefix until I know everything I need to rewrite. -- Matthias
p.s. I think we may wish to discuss an alternative solution for the inclusion
of tex packages.
On Jan 6, 2016, at 3:53 PM, Matthew Flatt <mfl...@cs.utah.edu> wrote:
> There's not currently a simple way to replace "scribble.tex".
>
> Probably you can hack anything by providing an alternate prefix file
> (i.e., replacement for "scribble-prefix.tex"). For example, I bet it
> would be possible to make the prefix file end with an unfinished
> comment, have the comment swallow "scribble.tex" completely, and have a
> style file (i.e., replacement for "scribble-style.tex") end the comment
> and drop in your replacement for "scribble.tex".
>
> At Wed, 06 Jan 2016 20:44:40 +0000, Spencer Florence wrote:
>> Hey all,
>>
>> I'm currently trying to use a custom tex style file with scribble.
>> Unfortunately this style file conflicts with the line
>> "\usepackage[usenames,dvipsnames]{color}" in the "scribble.tex" file
>> include by the scribble to tex compiler.
>>
>> Is there any way to tell scribble to use a different "scribble.tex"?
>>
>> --spencer
>>
>> --
>> 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.
--
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.
