Newer
Older
DATADIR = ./
FILTERDIR = $(DATADIR)/filters
RESOURCEDIR = $(DATADIR)/resources
PDFOPTIONS = -t beamer
PDFOPTIONS += --highlight-style my_highlight.theme
PDFOPTIONS += --pdf-engine pdflatex
PDFOPTIONS += --template=./default.latex
PDFOPTIONS += -V theme:metropolis
PDFOPTIONS += -V themeoptions:numbering=none -V themeoptions:progressbar=foot
PDFOPTIONS += -V fontsize=smaller
# PDFOPTIONS += --lua-filter=${FILTERDIR}/tex.lua
# PDFOPTIONS += --include-in-header=${RESOURCEDIR}/definitions.tex
# PDFOPTIONS += --include-in-header=${RESOURCEDIR}/beamer.tex
PDFOPTIONS += $(OPTIONS)
all: base_2.pdf base_1.pdf intro.pdf index.html
index.html: index.md
pandoc -s $(OPTIONS) $(HTMLOPTIONS) -o $@ $<
deploy: all
mkdir -p prog_seq_c_cours
cp *.pdf prog_seq_c_cours
cp index.html prog_seq_c_cours/
rm -f *.pdf index.html