Animated GIF files like the one on this page are linked to a page in exactly the same way that normal GIF files are i.e. using the img src tag