Merge pull request 'add alternate command pdftex if pdflatex isn't found' (#12) from update_makefile into master
Reviewed-on: #12
This commit is contained in:
commit
b908dea533
3
Makefile
3
Makefile
@ -15,6 +15,9 @@ informe:
|
|||||||
ifneq (, $(shell which pdflatex))
|
ifneq (, $(shell which pdflatex))
|
||||||
make -C doc
|
make -C doc
|
||||||
mv doc/Informe.pdf Informe.pdf
|
mv doc/Informe.pdf Informe.pdf
|
||||||
|
else ifneq (, $(shell which pdftex))
|
||||||
|
make -C doc
|
||||||
|
mv doc/Informe.pdf Informe.pdf
|
||||||
endif
|
endif
|
||||||
|
|
||||||
clean: cleanmyshellin
|
clean: cleanmyshellin
|
||||||
|
Loading…
Reference in New Issue
Block a user