From a3fa6fc81806966f5921222c7b54a9857a9d3bc3 Mon Sep 17 00:00:00 2001 From: Mireille LOUYS <33840665+loumir@users.noreply.github.com> Date: Thu, 20 Jun 2024 19:40:23 +0200 Subject: [PATCH] Update Makefile --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index a872f08..b33b4df 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ DOCNAME = ObscoreTimeExtension DOCVERSION = 1.0 # Publication date, ISO format; update manually for "releases" -DOCDATE = 2024-06-14 +DOCDATE = 2024-06-20 # What is it you're writing: NOTE, WD, PR, REC, PEN, or EN DOCTYPE = WD @@ -23,7 +23,7 @@ SOURCES = $(DOCNAME).tex # List of image files to be included in submitted package (anything that # can be rendered directly by common web browsers) -FIGURES = +FIGURES = role_diagram.pdf # List of PDF figures (figures that must be converted to pixel images to # work in web browsers).