From e6083ad0d745c3084efcc1ec7171095f2ac9adfd Mon Sep 17 00:00:00 2001
From: Orestis <orestis.malaspinas@pm.me>
Date: Sun, 20 Jun 2021 21:30:05 +0200
Subject: [PATCH] modif makefile

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index e1073d6..b1a286e 100644
--- a/Makefile
+++ b/Makefile
@@ -23,6 +23,7 @@ all:  cours.pdf cours.html
 # 	pandoc -s $(OPTIONS) $(PDFOPTIONS) -o $@ $<
 
 cours.pdf: $(CLASS_SOURCES)
+	pandoc -v
 	pandoc -s $(OPTIONS) $(PDFOPTIONS) -o $@ $^ --metadata-file metadata.yaml
 
 cours.html: $(CLASS_SOURCES)
-- 
GitLab