From adf448ae0fede63b4bbba2752d8c9cac91f83a69 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Fri, 11 Mar 2016 17:48:01 +0100
Subject: [PATCH] Revert "changes"

This reverts commit 3758d552a678aa8cf5d34dac15e058b41c575fab.
---
 CHANGES/v2.2.txt | 2 --
 1 file changed, 2 deletions(-)

diff --git a/CHANGES/v2.2.txt b/CHANGES/v2.2.txt
index e0c0d20f9..8133601a2 100644
--- a/CHANGES/v2.2.txt
+++ b/CHANGES/v2.2.txt
@@ -116,8 +116,6 @@ For users:
   asks for too many atoms, see \issue{185}.
 - Optimisations (activation of the dependencies, secondary structures, DRMSD)
 - Fixed a performance regression with RMSD=OPTIMAL-FAST
-- Added to ./configure the possibility to enable/disable documentation (--enable-doc) and PDF manual (--enable-pdfdoc).
-  Default behavior is to enable both, for backward compatibility.
 
 For developers:
 - Fixed a bug in the interpretation of cmd strings. Namely, an erroneous string was not triggering an error.
-- 
GitLab