diff --git a/doc/local.mk b/doc/local.mk
index cef4448c..c8b72ac5 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -124,7 +124,9 @@ nodist_man_MANS = doc/yacc.1
 ## ----------------------------- ##
 
 CLEANDIRS += doc/figs
-FIGS_DOT = doc/figs/example-reduce.dot doc/figs/example-shift.dot
+FIGS_DOT = 							\
+  doc/figs/example.dot						\
+  doc/figs/example-reduce.dot doc/figs/example-shift.dot
 EXTRA_DIST +=								\
   $(FIGS_DOT)								\
   $(FIGS_DOT:.dot=.eps) $(FIGS_DOT:.dot=.pdf) $(FIGS_DOT:.dot=.png)