Fix shape appendix. A single diamond file was used for both arrows and shapes

diff --git a/doc/dotguide/Makefile b/doc/dotguide/Makefile
index d16bd957d5484bb765ebdc2e3c632769ec488b60..f2c5e28fcfbd0bd213002e828b36d956775d0765 100644 (file)
--- a/doc/dotguide/Makefile
+++ b/doc/dotguide/Makefile
@@ -8,7 +8,7 @@ SHAPEFILES = \
     triangle.pdf tripleoctagon.pdf \
 
 ARROWHEADFILES = \
-    normal.pdf dot.pdf odot.pdf \
+    normal.pdf diamondarrow.pdf odot.pdf \
     inv.pdf invdot.pdf invodot.pdf \
     crow.pdf vee.pdf tee.pdf \
     no_arrow.pdf diamond.pdf

diff --git a/doc/dotguide/diamond.dot b/doc/dotguide/diamond.dot
index 66ec0cf9a0b8a29da109c77a04638360386d4eeb..78fbc18271448675ea558705c71a56df73950e9e 100644 (file)
--- a/doc/dotguide/diamond.dot
+++ b/doc/dotguide/diamond.dot
@@ -1,6 +1,5 @@
 digraph G {
-  rankdir=LR;
-  T [shape=point];
-  H [label=""];
-  T -> H [arrowsize=1.5,arrowhead=diamond];
+ node [style=filled,shape=diamond];
+ node [label=""];
+ box;
 }

diff --git a/doc/dotguide/diamondarrow.dot b/doc/dotguide/diamondarrow.dot
new file mode 100644 (file)
index 0000000..66ec0cf
--- /dev/null
+++ b/doc/dotguide/diamondarrow.dot
@@ -0,0 +1,6 @@
+digraph G {
+  rankdir=LR;
+  T [shape=point];
+  H [label=""];
+  T -> H [arrowsize=1.5,arrowhead=diamond];
+}