summaryrefslogtreecommitdiffstats
path: root/etc/pagemenu.html
diff options
context:
space:
mode:
authorRyota MIBU <r-mibu@cq.jp.nec.com>2016-08-12 04:20:51 +0000
committerGerrit Code Review <gerrit@172.30.200.206>2016-08-12 04:20:51 +0000
commit1ec9066d678e6b7f0ca3bcc2cc101b26d95b6fcb (patch)
tree867081f27659f13118b03fae7e6c1fb9e0172d30 /etc/pagemenu.html
parent63ebeda6ddb4c0486442e3377d9951e2d3789bc9 (diff)
parent6e998d9d2233597519eff7d8c3d77f255313c919 (diff)
Merge "remove 'Save to PDF' link from normal HTML pages"
Diffstat (limited to 'etc/pagemenu.html')
-rw-r--r--etc/pagemenu.html4
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>