From dcc18db59da0b0a951d270311564bace87272221 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Sun, 11 Apr 2021 23:21:53 +0200 Subject: website: Add menu hint to documents page. --- documents.md | 1 + 1 file changed, 1 insertion(+) diff --git a/documents.md b/documents.md index 86c0b83..5d0dedf 100644 --- a/documents.md +++ b/documents.md @@ -1,5 +1,6 @@ title: Organizational documents author: The GNU Assembly +menu: documents --- # Organizational documents of the GNU Assembly -- cgit v1.2.1