Mention PDF doc in CHANGES.

1 files changed, 4 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 1bf0e0edd4..453d82758a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -215,6 +215,10 @@ Notations
 Changes from 8.8.1 to 8.8.2
 ===========================
 
+Documentation
+
+- A PDF version of the reference manual is available once again.
+
 Tools
 
 - The coq-makefile targets `print-pretty-timed`, `print-pretty-timed-diff`,