From 89b730e08fac77ef889e3e162d85f04b24e8c294 Mon Sep 17 00:00:00 2001 From: Sergey Goncharov <sergyy@gmail.com> Date: Wed, 20 Feb 2019 16:46:23 +0100 Subject: [PATCH] fixing the pack option --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index da0efa6..b63bad8 100644 --- a/Makefile +++ b/Makefile @@ -164,7 +164,9 @@ pack: $(TEXSRC) if grep --quiet $(shell basename $(THISDIR))/$$(basename $$file) *.log; \ then cp -v $$file submission; \ fi; done - cp *.bib *.bbl *.bst submission + cp *.bib submission || echo "There are no bib-file!" + cp *.bbl submission || echo "There are no bbl-file!" + cp *.bst submission || echo "There are no bst-file!" # copying all files from the current directory mentioned in log-file for file in *; do if grep --quiet $$file *.log; then cp $$file submission; fi; done # remove comments -- GitLab