add plugins.png to distribution

diff --git a/doc/info/Makefile.am b/doc/info/Makefile.am
index 684c14e89112ce4733264f160ec89c9b46ce6537..72d14668da557fc30317cdd63330bbbe7695723d 100644 (file)
--- a/doc/info/Makefile.am
+++ b/doc/info/Makefile.am
@@ -25,6 +25,6 @@ html_DATA = attrs.html colors.html command.html grammar.html \
   parallelogram.gif pentagon.gif plaintext.gif point.gif polygon.gif \
   record.gif record2.gif rect.gif rectangle.gif round.gif septagon.gif tab.gif \
   trapezium.gif triangle.gif tripleoctagon.gif sdlshapes.png \
-  html2.dot html3.dot html4.dot
+  html2.dot html3.dot html4.dot plugins.png
 
 EXTRA_DIST = $(html_DATA)