diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2021-04-11 23:21:53 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2021-04-11 23:21:53 +0200 |
| commit | 306223d3c1ec6855e4504b1395cb3e02a161a8b1 (patch) | |
| tree | 37e485b27bd375e1a860bcad88e10ec6cf7f45f4 | |
| parent | website: Mention designers. (diff) | |
website: Add menu hint to documents page.
| -rw-r--r-- | website/documents.md | 1 |
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 @@ | |||
| 1 | title: Organizational documents | 1 | title: Organizational documents |
| 2 | author: The GNU Assembly | 2 | author: The GNU Assembly |
| 3 | menu: documents | ||
| 3 | --- | 4 | --- |
| 4 | 5 | ||
| 5 | # Organizational documents of the GNU Assembly | 6 | # Organizational documents of the GNU Assembly |