Python script that reads 3d file and writes a javascript file

[Olly Betts]

On Mon, Oct 14, 2013 at 01:03:52PM +1100, Michael Lake wrote:
> Thanks Wookey. The examples online are great. The python takes in
> ASCII 3D files

I think it actually reads the output of dump3d (though the comment at
the top of the script calls it "3ddump").

> ... I thought the ASCII dump of 3D was removed from cavern. How to you
> get the 3D files to ASCII these days?

You don't - they've been obsolete for more than a decade.  There's still
support to read them, but support for writing them was dropped in 2001.

Cheers,
    Olly