From 6be8298fe5b7ac0479b5c08c1445c660a24d74c0 Mon Sep 17 00:00:00 2001
From: "R. Matthew Emerson" <rme@acm.org>
Date: Sat, 2 Dec 2017 15:26:33 -0800
Subject: [PATCH] Refer to the GitHub page for CCLDoc

---
 doc/README | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/README b/doc/README
index 6a1a5f652..79afa562e 100644
--- a/doc/README
+++ b/doc/README
@@ -1,7 +1,7 @@
 See http://ccl.clozure.com/docs for preformatted versions of
 the documentation.
 
-http://trac.clozure.com/ccldoc describes how to obtain and use the
-CCLDoc tool to format the manual from the CCLDoc source in the
-manual/ directory.
+The CCL manual in the manual/ directory is written in CCLDoc
+notation.  The CCLDoc system can be obtained from
+https://github.com/Clozure/ccldoc.