diff --git a/tcc-doc.texi b/tcc-doc.texi
index 9fa957ef..3db2d80c 100644
--- a/tcc-doc.texi
+++ b/tcc-doc.texi
@@ -59,7 +59,9 @@ With @code{libtcc}, you can use TCC as a backend for dynamic code
 generation (@pxref{Libtcc}).
 
 TCC mainly supports the i386 target. There are alpha ports for the ARM
-(@code{arm-tcc}) and the TMS320C67xx targets (@code{c67-tcc}).
+(@code{arm-tcc}) and the TMS320C67xx targets (@code{c67-tcc}). More
+information about the ARM port is available at
+@url{http://lists.gnu.org/archive/html/tinycc-devel/2003-10/msg00044.html}.
 
 @node Invoke
 @chapter Command line invocation