+ ;; Growing Tux animation
+ (sprite (name "tux-grow-left")
+ (fps 4.0)
+ (x-hotspot 6)
+ (y-hotspot 2)
+ (images "shared/tux-grow-left-1.png"
+ "shared/tux-grow-left-2.png"
+ "shared/tux-grow-left-3.png"
+ "shared/tux-grow-left-4.png"
+ "shared/tux-grow-left-5.png"
+ "shared/tux-grow-left-6.png"
+ "shared/tux-grow-left-7.png"))
+
+ (sprite (name "tux-grow-right")
+ (fps 4.0)
+ (x-hotspot 6)
+ (y-hotspot 2)
+ (images "shared/tux-grow-right-1.png"
+ "shared/tux-grow-right-2.png"
+ "shared/tux-grow-right-3.png"
+ "shared/tux-grow-right-4.png"
+ "shared/tux-grow-right-5.png"
+ "shared/tux-grow-right-6.png"
+ "shared/tux-grow-right-7.png"))
+