diff options
Diffstat (limited to 'docs/makefile')
| -rw-r--r-- | docs/makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/makefile b/docs/makefile index b5917af..78a931a 100644 --- a/docs/makefile +++ b/docs/makefile @@ -1,17 +1,17 @@ PANDOC = pandoc M4 = m4 RM = rm -f -CHROME = chromium +CHROME = chromium --headless --run-all-compositor-stages-before-draw --virtual-time-budget=10000 --print-to-pdf-no-header CURL = curl PUP = pup SRCS = $(wildcard *.md) -HTML_T = $(patsubst %.md,%.html, $(SRCS)) -PDF_T = $(patsubst %.md,%.pdf, $(SRCS)) +HTML_T = $(SRCS:.md=.html) +PDF_T = $(SRCS:.md=.pdf) .PRECIOUS: %.toc %.con -all: $(HTML_T) +all: $(PDF_T) gen/paged.polyfill.js: $(CURL) -Ls https://unpkg.com/pagedjs/dist/paged.polyfill.js > $@ @@ -26,7 +26,7 @@ gen/paged.polyfill.js: $(M4) -DNAME=$(basename $<) gen/doc.m4 > $@ %.pdf: %.html - $(CHROME) --headless --print-to-pdf=$@ $< 2> /dev/null + $(CHROME) --print-to-pdf=$@ $< 2> /dev/null clean: $(RM) $(HTML_T) $(PDF_T) *.toc *.con gen/paged.polyfill.js |