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
commitdcc18db59da0b0a951d270311564bace87272221 (patch)
tree19583633bfb650fa6771650632d8640ae0e973b6
parentwebsite: Mention designers. (diff)
website: Add menu hint to documents page.
-rw-r--r--documents.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/documents.md b/documents.md
index 86c0b83..5d0dedf 100644
--- a/documents.md
+++ b/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