From 5b01a356f1905af64353a5b60ec377df316d183a Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 19 Sep 2018 13:55:48 +0200
Subject: Mention PDF doc in CHANGES.

---
 CHANGES | 4 ++++
 1 file changed, 4 insertions(+)

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`,
-- 
cgit v1.2.3