aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2024-05-05 16:37:29 +0200
committerSébastien Dailly <sebastien@dailly.me>2024-05-05 16:37:29 +0200
commit780981c08e69048107bd6d9674559d250b92283c (patch)
tree786596b090cea2e94b7fe9805d2fc71832965c44
parentbb412937a482dae6552bc5dd1f61188b461dd8e2 (diff)
Correction in makefile
-rw-r--r--common/Makefile.common16
1 files changed, 12 insertions, 4 deletions
diff --git a/common/Makefile.common b/common/Makefile.common
index 59a795c..2a710cc 100644
--- a/common/Makefile.common
+++ b/common/Makefile.common
@@ -1,4 +1,4 @@
-TEX?=xelatex
+TEX=$(shell command -v lualatex xelatex | head -n 1)
SOURCE=.
SRC =$(wildcard *.rst)
@@ -28,7 +28,15 @@ tmp:
# Generate the latex file from rst
tmp/%.tex: %.rst $(INCLUDED_PDF) $(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) $< $@
+ $$(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' $@
@@ -41,7 +49,7 @@ tmp/%.pdf: tmp/%.tex $(BIBS) | tmp
# Put the pdf in the right place
%.pdf: tmp/%.pdf | tmp
cp $< $@
- pkill -HUP mupdf
+ pkill -HUP mupdf || true
clean:
rm -r tmp
@@ -63,4 +71,4 @@ watch:
# Format the pages in order to make them printable in a book
book: $(PDFS)
- pdfbook2 $<
+ pdfbook2 --no-crop $<