diff options
| author | David Graf <davidagraf@gmail.com> | 2014-05-15 12:07:51 +0200 |
|---|---|---|
| committer | David Graf <davidagraf@gmail.com> | 2014-05-15 12:07:51 +0200 |
| commit | 7c65adc9b2c7a1f386a8bd54cdc03bdeac4df5a5 (patch) | |
| tree | 8dae3cc2c97fce7fa17e0a2af9aa6645f70b804a /theme | |
| parent | 9b96ef9baec9a2a46651e94c2069668d2875148f (diff) | |
| download | gitbook-7c65adc9b2c7a1f386a8bd54cdc03bdeac4df5a5.zip gitbook-7c65adc9b2c7a1f386a8bd54cdc03bdeac4df5a5.tar.gz gitbook-7c65adc9b2c7a1f386a8bd54cdc03bdeac4df5a5.tar.bz2 | |
disable cache manifest import if cache is disabled
Diffstat (limited to 'theme')
| -rw-r--r-- | theme/templates/site.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/theme/templates/site.html b/theme/templates/site.html index af73030..a05cf4b 100644 --- a/theme/templates/site.html +++ b/theme/templates/site.html @@ -1,6 +1,10 @@ {% extends "layout.html" %} -{% block htmlTag %}manifest="{{ basePath }}/manifest.appcache"{% endblock %} +{% block htmlTag %} + {% if options.cache %} + manifest="{{ basePath }}/manifest.appcache" + {% endif %} +{% endblock %} {% block title %}{{ progress.current.title }}{% parent %}{% endblock %} {% block content %} <div class="book" {% if githubId %}data-github="{{ githubId }}"{% endif %} data-level="{{ progress.current.level }}" data-basepath="{{ basePath }}" data-revision="{{ revision }}"> |