commit 54e9d5c07e5c5d4e2f814d8d3a2aa868512a4bb8
parent 6f220f20678b6fcc18cd42887fabf5522a8871d4
Author: Christian Grothoff <christian@grothoff.org>
Date: Fri, 18 Nov 2016 21:07:57 +0100
color node this tutorial is about
Diffstat:
2 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/php/doc/Makefile b/php/doc/Makefile
@@ -9,5 +9,9 @@ arch.pdf: arch.dot
arch.jpg: arch.dot
dot -Tjpg arch.dot > arch.jpg
+clean:
+ rm -f arch.jpg arch.pdf tutorial.html tutorial.pdf
+
+
info_TEXINFOS = manual.texi
manual_TEXINFOS = version.texi
diff --git a/php/doc/arch.dot b/php/doc/arch.dot
@@ -2,6 +2,7 @@ digraph G {
user[label="Customer browser"];
admin[label="Shop admin"];
+ Frontend [color="blue"];
subgraph cluster_0 {
Frontend;
Backoffice;