update gif export

ufechner7 · Sep 28, 2024 · 66683f5 · 66683f5
1 parent 2763784
commit 66683f5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Tether_07.jl b/src/Tether_07.jl
@@ -148,7 +148,7 @@ function play(se, sol, pos)
         wait_until(start + 0.5 * time * 1e9)
     end
     if se.save
-        include("export_gif.jl")
+        println("Run the script ./bin/export_gif to create the gif file!")
     end
     nothing
 end

diff --git a/src/Tether_08.jl b/src/Tether_08.jl
@@ -195,7 +195,7 @@ function play(se, sol, pos)
         wait_until(start + 0.5 * time * 1e9)
     end
     if se.save
-        include("export_gif.jl")
+        println("Run the script ./bin/export_gif to create the gif file!")
     end
     nothing
 end