add alternate command pdftex if pdflatex isn't found

2021-06-27 16:06:07 -04:00 · 2021-06-27 16:06:07 -04:00 · dd6a65e750
parent f8e28bd1f0
commit dd6a65e750
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -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