From 66683f513cb2fedbc36c173ac3c2258e3ed13819 Mon Sep 17 00:00:00 2001 From: Uwe Fechner Date: Sat, 28 Sep 2024 16:05:32 +0200 Subject: [PATCH] update gif export --- src/Tether_07.jl | 2 +- src/Tether_08.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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