Skip to content

Commit

Permalink
updated site
Browse files Browse the repository at this point in the history
  • Loading branch information
eed3si9n committed Dec 24, 2016
1 parent 978396e commit 2e9617d
Show file tree
Hide file tree
Showing 9 changed files with 6 additions and 5 deletions.
2 changes: 1 addition & 1 deletion 0.13/docs/es/offline/pamflet.manifest
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
CACHE MANIFEST
# Sat Dec 24 05:53:28 EST 2016
# Sat Dec 24 06:01:36 EST 2016
index.html
Gettnig-Started.html
Setup.html
Expand Down
Binary file modified 0.13/docs/es/sbt-reference.pdf
Binary file not shown.
2 changes: 1 addition & 1 deletion 0.13/docs/ja/offline/pamflet.manifest
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
CACHE MANIFEST
# Sat Dec 24 05:53:22 EST 2016
# Sat Dec 24 06:01:30 EST 2016
index.html
Getting-Started.html
Setup.html
Expand Down
Binary file modified 0.13/docs/ja/sbt-reference.pdf
Binary file not shown.
2 changes: 1 addition & 1 deletion 0.13/docs/offline/pamflet.manifest
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
CACHE MANIFEST
# Sat Dec 24 05:53:16 EST 2016
# Sat Dec 24 06:01:25 EST 2016
css/custom.css
index.html
Getting-Started.html
Expand Down
Binary file modified 0.13/docs/sbt-reference.pdf
Binary file not shown.
2 changes: 1 addition & 1 deletion 0.13/docs/zh-cn/offline/pamflet.manifest
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
CACHE MANIFEST
# Sat Dec 24 05:53:25 EST 2016
# Sat Dec 24 06:01:34 EST 2016
index.html
Getting-Started.html
Setup.html
Expand Down
Binary file modified 0.13/docs/zh-cn/sbt-reference.pdf
Binary file not shown.
3 changes: 2 additions & 1 deletion assets/warnOldDocs.js
Original file line number Diff line number Diff line change
Expand Up @@ -104,7 +104,8 @@ function showVersionWarning(site, series) {
'You are browsing the docs for sbt ' + version + ', ' +
'however the latest doc in this series is: ' +
'<a href="' + targetUrl(true, site, instead) + '">' + instead + '</a>. <br/>' +
'</p>');
'</p>' +
'<p id="samePageLink"></p>');
$.ajax({
url: insteadPage,
type: 'HEAD',
Expand Down

0 comments on commit 2e9617d

Please sign in to comment.