diff options
author | Ryota MIBU <r-mibu@cq.jp.nec.com> | 2016-08-21 13:45:18 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2016-08-21 13:45:18 +0000 |
commit | a6032ccb3f438ecca5059223fcf630926888c4c0 (patch) | |
tree | 2d4fad0d0aa78fa12f3ae75d79db1e0b4b243d79 /etc/pagemenu.html | |
parent | ce17ebe54844509678de7d8d7c58fdbc136dd134 (diff) | |
parent | 7e24b564adec5c913109ca485024b58b32e11ef6 (diff) |
Merge "add version, builddate and copyright in sidebar"
Diffstat (limited to 'etc/pagemenu.html')
-rw-r--r-- | etc/pagemenu.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/pagemenu.html b/etc/pagemenu.html index 67601b655..f5c951ae0 100644 --- a/etc/pagemenu.html +++ b/etc/pagemenu.html @@ -17,5 +17,8 @@ {# Note: single HTML won't have source rst #} <li><a href="//pdfcrowd.com/url_to_pdf/">Save to PDF</a></li> {%- endif %} + <li>Version: {{version}}</li> + <li>Build Date: {{last_updated}}</li> + <li>© {{copyright}}</li> </ul> </div> |