From 5e9acfe1336a29cdaafa96536ab24e9e62334e26 Mon Sep 17 00:00:00 2001
From: Mathias Fleury <Mathias.Fleury@ens-rennes.fr>
Date: Wed, 14 Apr 2021 07:36:58 +0200
Subject: [PATCH] add Makefile for easier compilation

---
 README.md     | 3 ++-
 spec/Makefile | 2 ++
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 spec/Makefile

diff --git a/README.md b/README.md
index 7ecbe54..13527bd 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 0000000..e5740f5
--- /dev/null
+++ b/spec/Makefile
@@ -0,0 +1,2 @@
+doc:
+	latexmk -pdf -shell-escape doc
-- 
GitLab