add curvature

2021-05-19 22:57:47 +03:00
parent f973da1eb5
commit 56d80516a4
2 changed files with 11 additions and 5 deletions
--- a/4
+++ b/4
@@ -84,3 +84,7 @@ slides-2021-03-29.pdf: slides-2021-03-29.txt

 slides-2021-03-29.html: slides-2021-03-29.txt
 	pandoc --verbose -t slidy --self-contained $< -o $@ $(SLIDY_ARGS)
+
+dump-debug_wm.sql.xz:
+	docker exec -ti wm-mj \
+		pg_dump -Uosm osm -t debug_wm | xz > $@