diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b6cba29bbd6f..ec235a038a22 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2009-06-25  Basile Starynkevitch  <basile@starynkevitch.net>
+	* doc/plugins.texi (Building GCC plugins): Corrected typo in
+	Makefile excerpt - @ should be doubled for texinfo.
+
 2009-06-24  Ian Lance Taylor  <iant@google.com>
 
 	* config/arc/arc.c: Include "df.h".
diff --git a/gcc/doc/plugins.texi b/gcc/doc/plugins.texi
index 791e04b7412a..c5efc81c6d50 100644
--- a/gcc/doc/plugins.texi
+++ b/gcc/doc/plugins.texi
@@ -305,7 +305,7 @@ GCCPLUGINS_DIR:= $(shell $(GCC) -print-file-name=plugin)
 CFLAGS+= -I$(GCCPLUGINS_DIR)/include -fPIC -O2
 
 plugin.so: $(PLUGIN_OBJECT_FILES)
-   $(GCC) -shared $^ -o $@
+   $(GCC) -shared $^ -o $@@
 @end smallexample
 
 A single source file plugin may be built with @code{gcc -I`gcc