[racket-dev] Latex files

On Fri, Feb 18, 2011 at 9:44 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Fri, Feb 18, 2011 at 9:42 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>> It wouldn't hurt to include a little script that downloads the correct
>> versions of the files from racket-lang.org somewhere and puts them
>> where they are currently, tho, no?
>
> At least for the JFP file, it's pretty clearly a copyright violation
> for us to distribute the file at all -- on the web page or elsewhere.
> We'd have to download it from the CUP site.

Is there more to the license than what Eli quoted? I don't see a
violation of that part, at least.

But I'm starting to think that Matthew's solution is easiest. Lets just punt.

Robby