From 0b8d7f44b4c0bd1b58ead37ec90672ed3dd08e89 Mon Sep 17 00:00:00 2001
From: bellard <bellard>
Date: Mon, 8 Nov 2004 20:52:04 +0000
Subject: [PATCH] update

---
 tcc-doc.texi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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