doc: chapters/philosophy.texi: Add menu for 'Anonymity'.

Reported by Heiko Stamer. This should fix #5133

diff --git a/doc/chapters/philosophy.texi b/doc/chapters/philosophy.texi
index b175cadf90cae7cfd8ca7c04ffc9bf34935da542..9f4702b4936847fab78e1fb0889a513152534f66 100644 (file)
--- 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