#! /n/gnu/bin/sed -f
# Last edited on 2002-03-31 22:18:52 by stolfi
#
/#declare topaz_texture = texture{crystal_texture}/a\
#declare topaz_interior = texture{crystal_interior}
/#declare ruby_texture = texture{crystal_texture}/a\
#declare ruby_interior = texture{crystal_interior}
/#declare sapphire_texture = texture{crystal_texture}/a\
#declare sapphire_interior = texture{crystal_interior}
/#declare emerald_texture = texture{crystal_texture}/a\
#declare emerald_interior = texture{crystal_interior}
/#declare panther_texture = texture{crystal_texture}/a\
#declare panther_interior = texture{crystal_interior}

