diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-17 11:21:02 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:32:38 +0100 |
commit | 4d67243c4b6aea2038b160091088ca0998d7be90 (patch) | |
tree | 170e344e6582c9f7497e8aa5cdc7afc251699dc8 /doc-tool/resources/_layouts/api-page.html | |
parent | fb8854ab6b8b3751b797d01efcbea5b4653007b8 (diff) | |
download | dotty-4d67243c4b6aea2038b160091088ca0998d7be90.tar.gz dotty-4d67243c4b6aea2038b160091088ca0998d7be90.tar.bz2 dotty-4d67243c4b6aea2038b160091088ca0998d7be90.zip |
Allow custom project name
Diffstat (limited to 'doc-tool/resources/_layouts/api-page.html')
-rw-r--r-- | doc-tool/resources/_layouts/api-page.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc-tool/resources/_layouts/api-page.html b/doc-tool/resources/_layouts/api-page.html index e32da6a14..b1140f35e 100644 --- a/doc-tool/resources/_layouts/api-page.html +++ b/doc-tool/resources/_layouts/api-page.html @@ -4,6 +4,10 @@ extraCSS: - css/api-page.css --- +<script> + document.title = "{{ site.project }} API - {{ entity.name }}" +</script> + <div id="entity-container"> <div id="entity-title"> <span id="entity-modifiers"> |