diff options
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> |