diff options
Diffstat (limited to 'model_6')
-rwxr-xr-x | model_6/Makefile | 41 |
1 files changed, 1 insertions, 40 deletions
diff --git a/model_6/Makefile b/model_6/Makefile index 170dd32..25786c6 100755 --- a/model_6/Makefile +++ b/model_6/Makefile @@ -1,40 +1 @@ -TEX=xelatex -SOURCE=. - -SRC =$(wildcard *.rst) - -PDFS = $(SRC:.rst=.pdf) - -all: $(PDFS) - -DIR = $(sort $(shell find $(SOURCE) -name '*.rst' -print)) -SOURCES = $(sort $(wildcard resources/*.tex) ) - -null := -space := $(null) # -comma := , -TEX_STYLE := $(subst $(space),$(comma),$(strip $(SOURCES))) - -PACK = $(shell sed -e 's/\#.*$$//' -e '/^$$/d' resources/modules) -PACKAGES := $(subst $(space),$(comma),$(strip $(PACK))) - -tmp: - mkdir tmp - -# Generate the latex file from rst -tmp/%.tex: %.rst $(SOURCES)| tmp - $$(command -v rst2latex rst2latex.py | head -n 1) --no-section-subtitles --table-style=borderless --use-latex-citations --use-latex-docinfo --documentclass=extarticle --documentoption=12pt,A4,table --syntax-highlight=short --stylesheet=$(PACKAGES),$(TEX_STYLE) $< $@ - sed -i -e 's/continued on next page/suite sur la page suivante/;s|^%$$||' $@ - sed -i -e 's/admonition-/admonition/g' $@ - -# Generate each pdf with latex -tmp/%.pdf: tmp/%.tex | tmp - $(TEX) -output-directory tmp $< - while grep 'Rerun to get ' tmp/$*.log ; do $(TEX) -output-directory tmp $< ; done - -# Put the pdf in the right place -%.pdf: tmp/%.pdf | tmp - cp $< $@ - -clean: - rm -r tmp +include ../common/Makefile.common |