From 47c71f04c203935e19ded0ead60f90e905310c2e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= <motiejus@jakstys.lt>
Date: Wed, 19 May 2021 22:57:50 +0300
Subject: [PATCH] add docs

---
 in-container | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/in-container b/in-container
index 368cca7..93632e2 100755
--- a/in-container
+++ b/in-container
@@ -1,8 +1,16 @@
 #!/bin/bash
 set -euo pipefail
 
-NAME=wm-mj-build
+# Prefix the 'make <...>' with this script to build the artifact in an isolated
+# container. This means host dependencies can only be Docker and a shell (to
+# run this script).
+#
+# Usage:
+#   ./in-container make help
+#   ./in-container make -j mj-msc-full.pdf
+#   ...
 
+NAME=wm-mj-build
 if [[ -z "$(docker images -q --filter "reference=$NAME")" ]]; then
     docker build -t "$NAME" - < Dockerfile
 fi