diff options
| author |   Ryota MIBU <r-mibu@cq.jp.nec.com> | 2016-08-12 04:20:51 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-08-12 04:20:51 +0000 |
| commit | 1ec9066d678e6b7f0ca3bcc2cc101b26d95b6fcb (patch) | |
| tree | 867081f27659f13118b03fae7e6c1fb9e0172d30 | |
| parent | 63ebeda6ddb4c0486442e3377d9951e2d3789bc9 (diff) | |
| parent | 6e998d9d2233597519eff7d8c3d77f255313c919 (diff) | |
Merge "remove 'Save to PDF' link from normal HTML pages"
| -rw-r--r-- | etc/pagemenu.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/pagemenu.html b/etc/pagemenu.html index 2bb9d1c06..67601b655 100644 --- a/etc/pagemenu.html +++ b/etc/pagemenu.html @@ -13,7 +13,9 @@ {%- 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> </ul> </div> |