diff options
Diffstat (limited to '_layouts/page.html')
| -rw-r--r-- | _layouts/page.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_layouts/page.html b/_layouts/page.html index c5b0e3dd0..ca4f0fa0e 100644 --- a/_layouts/page.html +++ b/_layouts/page.html @@ -66,6 +66,7 @@ layout: default <li><a href="{{ site.baseurl }}docs/running/">Running</a> <ul> <li><a href="{{ site.baseurl }}docs/running/admin_manual/">Admin manual</a></li> + <li><a href="{{ site.baseurl }}docs/running/holding_pen/">The holding pen</a></li> <li><a href="{{ site.baseurl }}docs/running/categories_and_tags/">Categories & tags</a></li> <li><a href="{{ site.baseurl }}docs/running/redaction">Redaction</a></li> <li><a href="{{ site.baseurl }}docs/running/security/">Security & Maintenance</a></li> |