Unfortunately, the animated GIF you embedded in Google Docs won’t be saved as the same file type when you download it as a web page file. The extraction process will separate the frames into individual images rather than as a single animated file.