change logo mp4 name

basnijholt · basnijholt · commit 7d987d817dfc · 2021-09-23T19:44:08.000+02:00
diff --git a/docs/logo_animated.py b/docs/logo_animated.py
@@ -90,4 +90,4 @@ def ring(xy):
     ]
 
     ani = animation.ArtistAnimation(fig, artists, blit=True)
-    ani.save("movie.mp4", writer=FFMpegWriter(fps=24))
+    ani.save("source/_static/logo_docs.mp4", writer=FFMpegWriter(fps=24))

Original file line number	Diff line number	Diff line change
`@@ -90,4 +90,4 @@ def ring(xy):`
`90`	`90`	`]`
`91`	`91`
`92`	`92`	`ani = animation.ArtistAnimation(fig, artists, blit=True)`
`93`		`- ani.save("movie.mp4", writer=FFMpegWriter(fps=24))`
	`93`	`+ ani.save("source/_static/logo_docs.mp4", writer=FFMpegWriter(fps=24))`