diff --git a/src/Tether_07.jl b/src/Tether_07.jl index 1217ae3..74a8ebc 100644 --- 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 index bb1e960..78f4110 100644 --- 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