From b7ed699d6f8986a47e20b00a6a4b1a69b442df7c Mon Sep 17 00:00:00 2001
From: Malin Freeborn <malinfreeborn@tutamail.com>
Date: Wed, 16 Jun 2021 16:26:16 +0200
Subject: [PATCH] ensure resources have page numbers
---
.gitlab-ci.yml | 2 +-
Makefile | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8004ae7e..41931953 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,8 +3,8 @@ compile_pdf:
script:
- apt-get update -y
- apt-get install -y inkscape
- - make resources
- make
+ - make resources
- mv main.pdf bind.pdf
only:
- master
diff --git a/Makefile b/Makefile
index 475e7707..215f2aa3 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ ${filename}.glg: svg-inkscape
pdflatex ${filename}.tex
makeglossaries ${filename}
pdflatex ${filename}.tex
-resources: resources.pdf
+resources: resources.pdf ${filename}.pdf
resources.pdf: $(wildcard CS/*.tex)
pdflatex CS/resources.tex
ref:
--
GitLab