Run CI

jamesrswift · Jul 9, 2024 · 14c400b · 14c400b
1 parent 903c471
commit 14c400b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/Justfile b/Justfile
@@ -1,3 +1,5 @@
+# use PowerShell instead of sh:
+set shell := ["powershell.exe", "-c"]
 root := justfile_directory()
 
 export TYPST_ROOT := root

diff --git a/docs/manual.pdf b/docs/manual.pdf