Refer to the GitHub page for CCLDoc

Clozure · Dec 2, 2017 · 6be8298 · 6be8298
1 parent f1286a7
commit 6be8298
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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.