doc: Use "dejavu sans" instead of "Helvetica" or "sans" in dot images.

Font-dejavu is (now) an input of fontconfig.  Specifying "dejavu sans" makes
generated images reproducible even when other fonts are installed (notably
font-google-noto).

* doc/images/bootstrap-graph.dot,
doc/images/bootstrap-packages.dot,
doc/images/coreutils-bag-graph.dot,
doc/images/coreutils-graph.dot,
doc/images/gcc-core-mesboot0-graph.dot,
doc/images/service-graph.dot,
doc/images/shepherd-graph.dot: Use fontname = "dejavu sans".
* doc/guix.texi (Full-Source Bootstrap): Update gcc-core-mesboot0.dot recipe
accordingly.

Change-Id: If21d7d39d45c66de5bceafb7b825a057d540ee50

1 files changed, 27 insertions, 27 deletions

diff --git a/doc/images/shepherd-graph.dot b/doc/images/shepherd-graph.dot
index 35b2794689..06b028701b 100644
--- a/doc/images/shepherd-graph.dot
+++ b/doc/images/shepherd-graph.dot
@@ -1,7 +1,7 @@
 digraph "Guix shepherd-service" {
-  "user-file-systems" [label = "user-file-systems", shape = box, fontname = Helvetica];
+  "user-file-systems" [label = "user-file-systems", shape = box, fontname = "dejavu sans"];
   "user-processes" -> "user-file-systems" [color = cyan3];
-  "user-processes" [label = "user-processes", shape = box, fontname = Helvetica];
+  "user-processes" [label = "user-processes", shape = box, fontname = "dejavu sans"];
   "nscd" -> "user-processes" [color = magenta];
   "guix-daemon" -> "user-processes" [color = blue];
   "urandom-seed" -> "user-processes" [color = dimgrey];
@@ -13,45 +13,45 @@ digraph "Guix shepherd-service" {
   "term-tty2" -> "user-processes" [color = darkviolet];
   "term-tty1" -> "user-processes" [color = peachpuff4];
   "networking" -> "user-processes" [color = dimgrey];
-  "nscd" [label = "nscd", shape = box, fontname = Helvetica];
-  "guix-daemon" [label = "guix-daemon", shape = box, fontname = Helvetica];
-  "urandom-seed" [label = "urandom-seed", shape = box, fontname = Helvetica];
-  "syslogd" [label = "syslogd", shape = box, fontname = Helvetica];
+  "nscd" [label = "nscd", shape = box, fontname = "dejavu sans"];
+  "guix-daemon" [label = "guix-daemon", shape = box, fontname = "dejavu sans"];
+  "urandom-seed" [label = "urandom-seed", shape = box, fontname = "dejavu sans"];
+  "syslogd" [label = "syslogd", shape = box, fontname = "dejavu sans"];
   "ssh-daemon" -> "syslogd" [color = darkgoldenrod];
-  "ssh-daemon" [label = "ssh-daemon", shape = box, fontname = Helvetica];
-  "term-tty6" [label = "term-tty6", shape = box, fontname = Helvetica];
+  "ssh-daemon" [label = "ssh-daemon", shape = box, fontname = "dejavu sans"];
+  "term-tty6" [label = "term-tty6", shape = box, fontname = "dejavu sans"];
   "console-font-tty6" -> "term-tty6" [color = darkgoldenrod];
-  "console-font-tty6" [label = "console-font-tty6", shape = box, fontname = Helvetica];
-  "term-tty5" [label = "term-tty5", shape = box, fontname = Helvetica];
+  "console-font-tty6" [label = "console-font-tty6", shape = box, fontname = "dejavu sans"];
+  "term-tty5" [label = "term-tty5", shape = box, fontname = "dejavu sans"];
   "console-font-tty5" -> "term-tty5" [color = dimgrey];
-  "console-font-tty5" [label = "console-font-tty5", shape = box, fontname = Helvetica];
-  "term-tty4" [label = "term-tty4", shape = box, fontname = Helvetica];
+  "console-font-tty5" [label = "console-font-tty5", shape = box, fontname = "dejavu sans"];
+  "term-tty4" [label = "term-tty4", shape = box, fontname = "dejavu sans"];
   "console-font-tty4" -> "term-tty4" [color = darkviolet];
-  "console-font-tty4" [label = "console-font-tty4", shape = box, fontname = Helvetica];
-  "term-tty3" [label = "term-tty3", shape = box, fontname = Helvetica];
+  "console-font-tty4" [label = "console-font-tty4", shape = box, fontname = "dejavu sans"];
+  "term-tty3" [label = "term-tty3", shape = box, fontname = "dejavu sans"];
   "console-font-tty3" -> "term-tty3" [color = peachpuff4];
-  "console-font-tty3" [label = "console-font-tty3", shape = box, fontname = Helvetica];
-  "term-tty2" [label = "term-tty2", shape = box, fontname = Helvetica];
+  "console-font-tty3" [label = "console-font-tty3", shape = box, fontname = "dejavu sans"];
+  "term-tty2" [label = "term-tty2", shape = box, fontname = "dejavu sans"];
   "console-font-tty2" -> "term-tty2" [color = darkseagreen];
-  "console-font-tty2" [label = "console-font-tty2", shape = box, fontname = Helvetica];
-  "term-tty1" [label = "term-tty1", shape = box, fontname = Helvetica];
+  "console-font-tty2" [label = "console-font-tty2", shape = box, fontname = "dejavu sans"];
+  "term-tty1" [label = "term-tty1", shape = box, fontname = "dejavu sans"];
   "console-font-tty1" -> "term-tty1" [color = cyan3];
-  "console-font-tty1" [label = "console-font-tty1", shape = box, fontname = Helvetica];
-  "networking" [label = "networking", shape = box, fontname = Helvetica];
+  "console-font-tty1" [label = "console-font-tty1", shape = box, fontname = "dejavu sans"];
+  "networking" [label = "networking", shape = box, fontname = "dejavu sans"];
   "ssh-daemon" -> "networking" [color = darkgoldenrod];
-  "root-file-system" [label = "root-file-system", shape = box, fontname = Helvetica];
+  "root-file-system" [label = "root-file-system", shape = box, fontname = "dejavu sans"];
   "file-system-/dev/pts" -> "root-file-system" [color = peachpuff4];
   "file-system-/dev/shm" -> "root-file-system" [color = darkgoldenrod];
   "file-system-/gnu/store" -> "root-file-system" [color = blue];
   "user-processes" -> "root-file-system" [color = cyan3];
   "udev" -> "root-file-system" [color = darkseagreen];
-  "file-system-/dev/pts" [label = "file-system-/dev/pts", shape = box, fontname = Helvetica];
+  "file-system-/dev/pts" [label = "file-system-/dev/pts", shape = box, fontname = "dejavu sans"];
   "user-processes" -> "file-system-/dev/pts" [color = cyan3];
-  "file-system-/dev/shm" [label = "file-system-/dev/shm", shape = box, fontname = Helvetica];
+  "file-system-/dev/shm" [label = "file-system-/dev/shm", shape = box, fontname = "dejavu sans"];
   "user-processes" -> "file-system-/dev/shm" [color = cyan3];
-  "file-system-/gnu/store" [label = "file-system-/gnu/store", shape = box, fontname = Helvetica];
+  "file-system-/gnu/store" [label = "file-system-/gnu/store", shape = box, fontname = "dejavu sans"];
   "user-processes" -> "file-system-/gnu/store" [color = cyan3];
-  "udev" [label = "udev", shape = box, fontname = Helvetica];
+  "udev" [label = "udev", shape = box, fontname = "dejavu sans"];
   "term-tty6" -> "udev" [color = magenta];
   "term-tty5" -> "udev" [color = red];
   "term-tty4" -> "udev" [color = darkgoldenrod];
@@ -59,13 +59,13 @@ digraph "Guix shepherd-service" {
   "term-tty2" -> "udev" [color = darkviolet];
   "term-tty1" -> "udev" [color = peachpuff4];
   "networking" -> "udev" [color = dimgrey];
-  "host-name" [label = "host-name", shape = box, fontname = Helvetica];
+  "host-name" [label = "host-name", shape = box, fontname = "dejavu sans"];
   "term-tty6" -> "host-name" [color = magenta];
   "term-tty5" -> "host-name" [color = red];
   "term-tty4" -> "host-name" [color = darkgoldenrod];
   "term-tty3" -> "host-name" [color = dimgrey];
   "term-tty2" -> "host-name" [color = darkviolet];
   "term-tty1" -> "host-name" [color = peachpuff4];
-  "loopback" [label = "loopback", shape = box, fontname = Helvetica];
+  "loopback" [label = "loopback", shape = box, fontname = "dejavu sans"];
 
 }