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.