Add missing dot.dot file to Makefile

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