From 37dff13cbbed76fb1d0952005e9289fe86bc2ca9 Mon Sep 17 00:00:00 2001
From: ng0 <ng0@infotropique.org>
Date: Thu, 7 Sep 2017 07:18:47 +0000
Subject: [PATCH] doc: chapters/philosophy.texi: Add menu for 'Anonymity'.

Reported by Heiko Stamer. This should fix #5133
---
 doc/chapters/philosophy.texi | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/chapters/philosophy.texi b/doc/chapters/philosophy.texi
index b175cadf9..9f4702b49 100644
--- a/doc/chapters/philosophy.texi
+++ b/doc/chapters/philosophy.texi
@@ -208,6 +208,10 @@ anonymous file sharing).
 @node Anonymity
 @subsection Anonymity
 
+@menu
+* How file-sharing achieves Anonymity::
+@end menu
+
 Providing anonymity for users is the central goal for the anonymous
 file-sharing application. Many other design decisions follow in the footsteps
 of this requirement. Anonymity is never absolute. While there are various
-- 
2.25.1