Add generation of root image

Fix directory creation
2019-11-13 16:47:04 +01:00 · 2019-11-13 16:44:13 +01:00
1 changed files with 5 additions and 0 deletions
@@ -162,4 +162,9 @@ python generate_svgs.py --id --output mensamap/id.svg
 python generate_svgs.py --ie --output mensamap/ie.svg
 python generate_svgs.py --if --output mensamap/if.svg

+mkdir -p mensamap
+
 ./svg2png.sh mensamap/*.svg
+
+./svg2png.sh mensa.svg
+mv mensa.png mensamap
Author	SHA1	Message	Date
dominic	fc6f45236e	Add generation of root image	2019-11-13 16:47:04 +01:00
dominic	30b10b8b51	Fix directory creation	2019-11-13 16:44:13 +01:00