|
![](/i/fill.gif) |
In article <3A10A018.A2AB62BE@rap.ucar.edu> , Space Dude
<swe### [at] rap ucar edu> wrote:
>
> Ok, I suppose that I should just write a script for grep for #write
> before rendering, huh? I shoulda just thought of that. Ok. That's
> cool. Thanks!
When doing that, be aware that something like this is also valid:
# write(.....)
and you may want to play around with it a bit to find out what else is or is
not valid.
Thorsten
Post a reply to this message
|
![](/i/fill.gif) |