diff --git a/README.md b/README.md
index 7ecbe544f117471a1eb4aef7147187c380a7b237..13527bdb6c77d731c259ea142e1a6749d6ed8034 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,8 @@ and especially the rules as we gather experience.
 ## Building the Specifications
 
 The specification are in the folder `spec`.  The main source file is the
-`doc.tex` file.
+`doc.tex` file. You can use `make` in the `spec` directory to compile
+the document.
 
 Syntax highlighting uses the `pygments` tool.  Hence, this tool must
 be installed.  Furthermore, Latex must be compiled with shell escaping
diff --git a/spec/Makefile b/spec/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..e5740f52791996714162b85d69e8af42cd32d946
--- /dev/null
+++ b/spec/Makefile
@@ -0,0 +1,2 @@
+doc:
+	latexmk -pdf -shell-escape doc