Skip to content
This repository was archived by the owner on Nov 23, 2021. It is now read-only.

Commit bd2576a

Browse files
chutsuchutsu
committed
Update
1 parent a5c16cd commit bd2576a

File tree

5 files changed

+89
-88
lines changed

5 files changed

+89
-88
lines changed

‎Makefile

+3-2
Original file line numberDiff line numberDiff line change
@@ -4,15 +4,16 @@ default:
44
@echo " - update_latest: update latest ditto version"
55
@echo " - run_server: run local http server"
66

7-
update_latest:
7+
latest:
88
@mkdir -p ver/latest; \
9+
cp index.html ver/latest; \
910
cp css/* ver/latest; \
1011
cp js/* ver/latest; \
1112
cp templates/* ver/latest; \
1213
sed -i 's/VER/latest/g' ver/latest/index.html; \
1314
echo "updated latest!"
1415

15-
version: update_latest
16+
version: latest
1617
@read -p "enter new version name: " new_version; \
1718
mkdir -p ver; \
1819
mkdir ver/$$new_version; \

‎index.html

+11-14
Original file line numberDiff line numberDiff line change
@@ -3,33 +3,30 @@
33
<head>
44
<title>ditto</title>
55

6-
<!-- highlight.js -->
7-
<link rel="stylesheet" href="./css/google_code.css">
6+
<!-- JQUERY -->
7+
<script src="http://code.jquery.com/jquery-1.11.0.min.js"></script>
8+
<script src="http://code.jquery.com/ui/1.10.4/jquery-ui.min.js"></script>
9+
10+
<!-- MARKED -->
11+
<script src="./js/marked.js"></script>
812

9-
<!-- ditto -->
13+
<!-- DITTO CSS -->
1014
<link rel="stylesheet" href="./css/ditto.css">
15+
<script src="./js/ditto.js"></script>
1116
</head>
1217
<body>
13-
<!-- essential -->
18+
<!-- ESSENTIAL -->
1419
<div id="sidebar"></div>
1520
<div id="content"></div>
1621
<div id="hide"></div>
1722

18-
<!-- optional -->
23+
<!-- OPTIONAL -->
1924
<div id="back_to_top">top</div>
2025
<div id="edit">edit</div>
2126
<div id="loading">Loading ...</div>
2227
<div id="error"></div>
2328

24-
<!-- jQuery -->
25-
<script src="http://code.jquery.com/jquery-1.11.0.min.js"></script>
26-
<script src="http://code.jquery.com/ui/1.10.4/jquery-ui.min.js"></script>
27-
28-
<!-- marked -->
29-
<script src="./js/marked.js"></script>
30-
31-
<!-- ditto -->
32-
<script src="./js/ditto.js"></script>
29+
<!-- DITTO -->
3330
<script>
3431
$(function($) {
3532
// essential settings

‎templates/index.html

+25-24
Original file line numberDiff line numberDiff line change
@@ -1,47 +1,48 @@
11
<!DOCTYPE html>
22
<html>
33
<head>
4-
<!-- jQuery -->
5-
<script src="//code.jquery.com/jquery-1.11.0.min.js"></script>
6-
<script src="//code.jquery.com/ui/1.10.4/jquery-ui.min.js"></script>
4+
<title>TITLE</title> <!-- EDIT ME!! -->
75

8-
<!-- marked -->
9-
<script src="//chutsu.github.io/ditto/ver/VER/marked.js"></script>
6+
<!-- JQUERY -->
7+
<script src="http://code.jquery.com/jquery-1.11.0.min.js"></script>
8+
<script src="http://code.jquery.com/ui/1.10.4/jquery-ui.min.js"></script>
109

11-
<!-- highlight.js -->
12-
<link rel="stylesheet" href="./css/google_code.css">
13-
<script src="./js/highlight_8.0.min.js"></script>
14-
<script>hljs.initHighlightingOnLoad();</script>
10+
<!-- MARKED -->
11+
<script src="//chutsu.github.io/ditto/ver/VER/marked.js"></script>
1512

16-
<!-- ditto -->
17-
<script src="//chutsu.github.io/ditto/ver/VER/ditto.js"></script>
13+
<!-- DITTO CSS -->
1814
<link rel="stylesheet" href="//chutsu.github.io/ditto/ver/VER/ditto.css">
15+
<script src="//chutsu.github.io/ditto/ver/VER/js/ditto.js"></script>
1916
</head>
2017
<body>
21-
<!-- essential -->
18+
<!-- ESSENTIAL -->
2219
<div id="sidebar"></div>
2320
<div id="content"></div>
21+
<div id="hide"></div>
2422

25-
<!-- optional -->
26-
<div id="back_to_top">back to top</div>
23+
<!-- OPTIONAL -->
24+
<div id="back_to_top">top</div>
2725
<div id="edit">edit</div>
2826
<div id="loading">Loading ...</div>
2927
<div id="error"></div>
3028

29+
<!-- DITTO -->
3130
<script>
32-
// essential settings
33-
ditto.index = "README.md",
34-
ditto.sidebar_file = "sidebar.md",
31+
$(function($) {
32+
// essential settings
33+
ditto.index = "README.md",
34+
ditto.sidebar_file = "sidebar.md",
3535

36-
// optional settings if you want github search
37-
ditto.github_username = null; // <------- EDIT ME!!
38-
ditto.github_repo = null; // <------- EDIT ME!!
36+
// optional settings if you want github search
37+
ditto.github_username = null; // <------- EDIT ME!!
38+
ditto.github_repo = null; // <------- EDIT ME!!
3939

40-
// where the docs are actually stored on github - so you can edit
41-
ditto.base_url = ""; // <------- EDIT ME!!
40+
// where the docs are actually stored on github - so you can edit
41+
ditto.base_url = ""; // <------- EDIT ME!!
4242

43-
// run
44-
ditto.run();
43+
// run
44+
ditto.run();
45+
});
4546
</script>
4647
</body>
4748
</html>

‎ver/0.11/index.html

+25-24
Original file line numberDiff line numberDiff line change
@@ -1,47 +1,48 @@
11
<!DOCTYPE html>
22
<html>
33
<head>
4-
<!-- jQuery -->
5-
<script src="//code.jquery.com/jquery-1.11.0.min.js"></script>
6-
<script src="//code.jquery.com/ui/1.10.4/jquery-ui.min.js"></script>
4+
<title>TITLE</title> <!-- EDIT ME!! -->
75

8-
<!-- marked -->
9-
<script src="//chutsu.github.io/ditto/ver/0.11/marked.js"></script>
6+
<!-- JQUERY -->
7+
<script src="http://code.jquery.com/jquery-1.11.0.min.js"></script>
8+
<script src="http://code.jquery.com/ui/1.10.4/jquery-ui.min.js"></script>
109

11-
<!-- highlight.js -->
12-
<link rel="stylesheet" href="./css/google_code.css">
13-
<script src="./js/highlight_8.0.min.js"></script>
14-
<script>hljs.initHighlightingOnLoad();</script>
10+
<!-- MARKED -->
11+
<script src="//chutsu.github.io/ditto/ver/0.11/marked.js"></script>
1512

16-
<!-- ditto -->
17-
<script src="//chutsu.github.io/ditto/ver/0.11/ditto.js"></script>
13+
<!-- DITTO CSS -->
1814
<link rel="stylesheet" href="//chutsu.github.io/ditto/ver/0.11/ditto.css">
15+
<script src="//chutsu.github.io/ditto/ver/0.11/js/ditto.js"></script>
1916
</head>
2017
<body>
21-
<!-- essential -->
18+
<!-- ESSENTIAL -->
2219
<div id="sidebar"></div>
2320
<div id="content"></div>
21+
<div id="hide"></div>
2422

25-
<!-- optional -->
26-
<div id="back_to_top">back to top</div>
23+
<!-- OPTIONAL -->
24+
<div id="back_to_top">top</div>
2725
<div id="edit">edit</div>
2826
<div id="loading">Loading ...</div>
2927
<div id="error"></div>
3028

29+
<!-- DITTO -->
3130
<script>
32-
// essential settings
33-
ditto.index = "README.md",
34-
ditto.sidebar_file = "sidebar.md",
31+
$(function($) {
32+
// essential settings
33+
ditto.index = "README.md",
34+
ditto.sidebar_file = "sidebar.md",
3535

36-
// optional settings if you want github search
37-
ditto.github_username = null; // <------- EDIT ME!!
38-
ditto.github_repo = null; // <------- EDIT ME!!
36+
// optional settings if you want github search
37+
ditto.github_username = null; // <------- EDIT ME!!
38+
ditto.github_repo = null; // <------- EDIT ME!!
3939

40-
// where the docs are actually stored on github - so you can edit
41-
ditto.base_url = ""; // <------- EDIT ME!!
40+
// where the docs are actually stored on github - so you can edit
41+
ditto.base_url = ""; // <------- EDIT ME!!
4242

43-
// run
44-
ditto.run();
43+
// run
44+
ditto.run();
45+
});
4546
</script>
4647
</body>
4748
</html>

‎ver/latest/index.html

+25-24
Original file line numberDiff line numberDiff line change
@@ -1,47 +1,48 @@
11
<!DOCTYPE html>
22
<html>
33
<head>
4-
<!-- jQuery -->
5-
<script src="//code.jquery.com/jquery-1.11.0.min.js"></script>
6-
<script src="//code.jquery.com/ui/1.10.4/jquery-ui.min.js"></script>
4+
<title>TITLE</title> <!-- EDIT ME!! -->
75

8-
<!-- marked -->
9-
<script src="//chutsu.github.io/ditto/ver/latest/marked.js"></script>
6+
<!-- JQUERY -->
7+
<script src="http://code.jquery.com/jquery-1.11.0.min.js"></script>
8+
<script src="http://code.jquery.com/ui/1.10.4/jquery-ui.min.js"></script>
109

11-
<!-- highlight.js -->
12-
<link rel="stylesheet" href="./css/google_code.css">
13-
<script src="./js/highlight_8.0.min.js"></script>
14-
<script>hljs.initHighlightingOnLoad();</script>
10+
<!-- MARKED -->
11+
<script src="//chutsu.github.io/ditto/ver/latest/marked.js"></script>
1512

16-
<!-- ditto -->
17-
<script src="//chutsu.github.io/ditto/ver/latest/ditto.js"></script>
13+
<!-- DITTO CSS -->
1814
<link rel="stylesheet" href="//chutsu.github.io/ditto/ver/latest/ditto.css">
15+
<script src="//chutsu.github.io/ditto/ver/latest/js/ditto.js"></script>
1916
</head>
2017
<body>
21-
<!-- essential -->
18+
<!-- ESSENTIAL -->
2219
<div id="sidebar"></div>
2320
<div id="content"></div>
21+
<div id="hide"></div>
2422

25-
<!-- optional -->
26-
<div id="back_to_top">back to top</div>
23+
<!-- OPTIONAL -->
24+
<div id="back_to_top">top</div>
2725
<div id="edit">edit</div>
2826
<div id="loading">Loading ...</div>
2927
<div id="error"></div>
3028

29+
<!-- DITTO -->
3130
<script>
32-
// essential settings
33-
ditto.index = "README.md",
34-
ditto.sidebar_file = "sidebar.md",
31+
$(function($) {
32+
// essential settings
33+
ditto.index = "README.md",
34+
ditto.sidebar_file = "sidebar.md",
3535

36-
// optional settings if you want github search
37-
ditto.github_username = null; // <------- EDIT ME!!
38-
ditto.github_repo = null; // <------- EDIT ME!!
36+
// optional settings if you want github search
37+
ditto.github_username = null; // <------- EDIT ME!!
38+
ditto.github_repo = null; // <------- EDIT ME!!
3939

40-
// where the docs are actually stored on github - so you can edit
41-
ditto.base_url = ""; // <------- EDIT ME!!
40+
// where the docs are actually stored on github - so you can edit
41+
ditto.base_url = ""; // <------- EDIT ME!!
4242

43-
// run
44-
ditto.run();
43+
// run
44+
ditto.run();
45+
});
4546
</script>
4647
</body>
4748
</html>

0 commit comments

Comments
 (0)