summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2021-04-11 23:21:53 +0200
committerRicardo Wurmus <rekado@elephly.net>2021-04-11 23:21:53 +0200
commit306223d3c1ec6855e4504b1395cb3e02a161a8b1 (patch)
tree37e485b27bd375e1a860bcad88e10ec6cf7f45f4
parentwebsite: Mention designers. (diff)
website: Add menu hint to documents page.
-rw-r--r--website/documents.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/website/documents.md b/website/documents.md
index 86c0b83..5d0dedf 100644
--- a/website/documents.md
+++ b/website/documents.md
@@ -1,5 +1,6 @@
1title: Organizational documents 1title: Organizational documents
2author: The GNU Assembly 2author: The GNU Assembly
3menu: documents
3--- 4---
4 5
5# Organizational documents of the GNU Assembly 6# Organizational documents of the GNU Assembly