From dd6a65e750505b7b85e57e3650013461ef39a5c0 Mon Sep 17 00:00:00 2001 From: Chris Cromer Date: Sun, 27 Jun 2021 16:06:07 -0400 Subject: [PATCH] add alternate command pdftex if pdflatex isn't found --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 0fb0bab..b6b61db 100644 --- a/Makefile +++ b/Makefile @@ -15,6 +15,9 @@ informe: ifneq (, $(shell which pdflatex)) make -C doc mv doc/Informe.pdf Informe.pdf +else ifneq (, $(shell which pdftex)) + make -C doc + mv doc/Informe.pdf Informe.pdf endif clean: cleanmyshellin