diff --git a/ChangeLog b/ChangeLog index ebc2c11c..33542286 100644 --- a/ChangeLog +++ b/ChangeLog @@ -2,6 +2,8 @@ * 10.5.0: release + * Add documentation link to top-level README + * Discontinue inclusion of the pre-built documentation in the source distribution. Consult the packaging documentation in the manual for details. The file README-doc.txt is installed in the