diff options
Diffstat (limited to 'etc/pagemenu.html')
| -rw-r--r-- | etc/pagemenu.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/etc/pagemenu.html b/etc/pagemenu.html index 2bb9d1c06..f5c951ae0 100644 --- a/etc/pagemenu.html +++ b/etc/pagemenu.html @@ -13,7 +13,12 @@ {%- if show_source and has_source and sourcename %} <li><a href="{{ pathto('_sources/' + sourcename, true)|e }}" rel="nofollow">{{ _('Show Source') }}</a></li> + {%- else %} + {# Note: single HTML won't have source rst #} + <li><a href="//pdfcrowd.com/url_to_pdf/">Save to PDF</a></li> {%- endif %} - <li><a href="//pdfcrowd.com/url_to_pdf/">Save to PDF</a></li> + <li>Version: {{version}}</li> + <li>Build Date: {{last_updated}}</li> + <li>© {{copyright}}</li> </ul> </div> |