aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 0a2d6b9..0c4c2cc 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ slide.pdf: slide.saty
--name satysfi \
--mount type=bind,src=$$(pwd),dst=/work \
satysfi \
- satysfi slide.saty
+ sh -c "satysfi slide.saty && chown "$$(id -u):$$(id -g)" slide.pdf slide.satysfi-aux"
# Enter Docker shell.
.PHONY: shell