diff update_manifest.jl @ 1858:4a9be96f2569 feature/documenter_logo

Merge default
author Jonatan Werpers <jonatan@werpers.com>
date Sun, 12 Jan 2025 21:18:44 +0100
parents 61422abd17a4
children 608a24a7b13b
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/update_manifest.jl	Sun Jan 12 21:18:44 2025 +0100
@@ -0,0 +1,12 @@
+using Pkg
+
+function update_directory(d)
+    Pkg.activate(d)
+    Pkg.update()
+    println()
+end
+
+update_directory(".")
+update_directory("benchmark")
+update_directory("docs")
+update_directory("test")