From cc72d0659cd7f591cce779a4afda775bb8518242 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Wed, 9 Jan 2019 20:55:25 +0100
Subject: Rename a documentation file

---
 doc/source/index.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/source/index.rst')

diff --git a/doc/source/index.rst b/doc/source/index.rst
index 22cdcb8..955cebb 100644
--- a/doc/source/index.rst
+++ b/doc/source/index.rst
@@ -19,7 +19,7 @@ Documentation
    changelog
    faq
    papers
-   encryption
+   cookies
 
 Greetings
 ---------
-- 
cgit v1.3