From 25208a81580f3312d497548aa8c777d1cff93dbb Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Thu, 4 Feb 2021 15:03:28 +0100 Subject: [PATCH] user guide: add tar.gz target for the web --- garlic/doc/Makefile | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/garlic/doc/Makefile b/garlic/doc/Makefile index 5de21d3..91f4377 100644 --- a/garlic/doc/Makefile +++ b/garlic/doc/Makefile @@ -1,5 +1,4 @@ -all: execution.pdf execution.utf8 execution.ascii pp.pdf pp.utf8 pp.ascii\ - branch.pdf blackbox.pdf ug.pdf ug.html +all: ug.pdf ug.html doc.tar.gz TTYOPT=-rPO=4m -rLL=72m PDFOPT=-dpaper=a4 -rPO=4c -rLL=13c @@ -18,6 +17,7 @@ blackbox.pdf: blackbox.ms Makefile REFER=ref.i groff -ms $(PREPROC) -dpaper=a4 -rPO=2c -rLL=17c -Tpdf $< > $@ %.html: %.ms Makefile + mkdir -p img REFER=ref.i groff -ms -mwww $(HTML_OPT) $< > $@ echo $(HTML_OPT) sed -i '/<\/head>/i' $@ @@ -34,3 +34,9 @@ blackbox.pdf: blackbox.ms Makefile %.ascii: %.ms REFER=ref.i groff -ms -mwww -c $(PREPROC) $(TTYOPT) -Tascii $^ > $@ + +doc.tar.gz: ug.pdf ug.html s.css + tar czf $@ $^ img s.css + +clean: + rm -rf img ug.pdf ug.html doc.tar.gz