From 4947515d6133ddbd0489c395024f4c1ddf7a499c Mon Sep 17 00:00:00 2001 From: Dibyendu Majumdar Date: Sat, 19 Aug 2023 08:52:57 -0700 Subject: Chapter 1: Introduction MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Cliff Click Co-authored-by: Thalia Archibald Co-authored-by: hadha Co-authored-by: XmiliaH <45106915+XmiliaH@users.noreply.github.com> Co-authored-by: Tamás Hadházy <85063808+Hels15@users.noreply.github.com> Co-authored-by: Jun Kawasaki --- graph/docs.mk | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 graph/docs.mk (limited to 'graph/docs.mk') diff --git a/graph/docs.mk b/graph/docs.mk new file mode 100644 index 00000000..ad792ff5 --- /dev/null +++ b/graph/docs.mk @@ -0,0 +1,24 @@ +# Included from a chapter's docs/Makefile. +# A viewer snapshot takes precedence over a legacy DOT source of the same name. +GRAPH_DOCS := ../../graph +PYTHON ?= python3 +DOC_BROWSER ?= chromium +JSON := $(wildcard *.json) +VIEW_SVG := $(JSON:.json=.svg) +GV := $(filter-out $(JSON:.json=.gv),$(wildcard *.gv)) +SVG := $(VIEW_SVG) $(GV:.gv=.svg) +.DELETE_ON_ERROR: + +.PHONY: all +all: $(SVG) + +$(VIEW_SVG): %.svg: %.json $(GRAPH_DOCS)/render_docs.py $(wildcard $(GRAPH_DOCS)/web/*.js) $(wildcard $(GRAPH_DOCS)/web/*.css) + $(PYTHON) $(GRAPH_DOCS)/render_docs.py --browser $(DOC_BROWSER) $< + +$(GV:.gv=.svg): %.svg: %.gv + dot -Tsvg $< > $@ + @sed -i 's/\r$$//' $@ + +.PHONY: clean +clean: + @rm -f $(SVG) -- cgit v1.2.3