Commenting out scribble.tex with an open comment in prefix.tex and closing
comment in scribble.tex works, to a point. It hides scribble.tex, but it also
hides any dynamic inclusions such as figure.tex.
I have been trying to use the longtable package in preference to the
stabular-based package that Scribble uses for long tables. Unfortunately
scribble.tex creates some incompatible definitions, which I have been trying to
work around. My current best option appears to be hacking scribble.tex in the
Racket source to remove those definitions. It would be nice to avoid hacking
the source.
> On 6 Jan 2016, at 20:53, 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.
Tim Jervis
http://timjervis.com/ <http://timjervis.com/>
--
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.
