diff --git a/Manual/repository-menu.texi b/Manual/repository-menu.texi
index 23c864d..d0b359a 100644
--- a/Manual/repository-menu.texi
+++ b/Manual/repository-menu.texi
@@ -1,6 +1,7 @@
 @menu
 * Introduction::
 * Directories::
+* Licenses::
 * Index::
 * List of Figures::
 @end menu