diff options
Diffstat (limited to 'etc/pagemenu.html')
| -rw-r--r-- | etc/pagemenu.html | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/etc/pagemenu.html b/etc/pagemenu.html new file mode 100644 index 000000000..2bb9d1c06 --- /dev/null +++ b/etc/pagemenu.html @@ -0,0 +1,19 @@ +{# + opnfvdocs/etc/pagemenu.html + ~~~~~~~~~~~~~~~~~~~~~~~~~~~ + + Sphinx sidebar template: link to pdfcrowd. + + :copyright: Copyright 2016 by OPNFV. + :license: Apache 2.0 . +#} +<div role="note" aria-label="source link"> + <h3>{{ _('This Page') }}</h3> + <ul class="this-page-menu"> + {%- if show_source and has_source and sourcename %} + <li><a href="{{ pathto('_sources/' + sourcename, true)|e }}" + rel="nofollow">{{ _('Show Source') }}</a></li> + {%- endif %} + <li><a href="//pdfcrowd.com/url_to_pdf/">Save to PDF</a></li> + </ul> +</div> |