diff options
| -rw-r--r-- | latex/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/latex/Makefile b/latex/Makefile index 756a498d..7e39e0a8 100644 --- a/latex/Makefile +++ b/latex/Makefile @@ -1,4 +1,5 @@ .DEFAULT_GOAL = all +SHELL := /usr/bin/bash PDFLATEX ?= pdflatex PDFTOPPM = pdftoppm @@ -88,8 +89,8 @@ $(SETS_TEX_DIR)/$(1).tex: $(wildcard $(CARDS_TEX_DIR)/$(1)/*.tex) $(MAKEFILE_LIS $(VERBOSE) echo '\input{colors.tex}' >> $$@ $(VERBOSE) echo '\input{tikzcards.tex}' >> $$@ $(VERBOSE) echo '\usepackage{standalone}' >> $$@ - $(VERBOSE) echo '\\begin{document}' >> $$@ - $(VERBOSE) echo '\\begin{center}' >> $$@ + $(VERBOSE) echo '\begin{document}' >> $$@ + $(VERBOSE) echo '\begin{center}' >> $$@ $(VERBOSE) echo '\pagestyle{empty}' >> $$@ $(VERBOSE)for card in $(wildcard $(CARDS_TEX_DIR)/$(1)/*.tex); do \ rel_card=$$$${card#"$(LATEX_ROOT)/"}; \ |