Skip to content

Commit d00d62f

Browse files
bn-ebn-e
committed
ci: generate pages at 88b3d58 [ci skip]
1 parent 88b3d58 commit d00d62f

File tree

204 files changed

+5364
-4681
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

204 files changed

+5364
-4681
lines changed

‎docs/404.html

Lines changed: 23 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,13 @@
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
6-
<title>Page not found - Rust By Example 日本語版</title>
6+
<title></title>
77
<base href="/">
88

99

1010
<!-- Custom HTML head -->
11-
11+
12+
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
1213
<meta name="description" content="Rust by Example (RBE) is a collection of runnable examples that illustrate various Rust concepts and standard libraries.">
1314
<meta name="viewport" content="width=device-width, initial-scale=1">
1415
<meta name="theme-color" content="#ffffff" />
@@ -35,13 +36,13 @@
3536
</head>
3637
<body>
3738
<!-- Provide site root to javascript -->
38-
<script>
39+
<script type="text/javascript">
3940
var path_to_root = "";
4041
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
4142
</script>
4243

4344
<!-- Work around some values being stored in localStorage wrapped in quotes -->
44-
<script>
45+
<script type="text/javascript">
4546
try {
4647
var theme = localStorage.getItem('mdbook-theme');
4748
var sidebar = localStorage.getItem('mdbook-sidebar');
@@ -57,7 +58,7 @@
5758
</script>
5859

5960
<!-- Set the theme before any content is loaded, prevents flash -->
60-
<script>
61+
<script type="text/javascript">
6162
var theme;
6263
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6364
if (theme === null || theme === undefined) { theme = default_theme; }
@@ -69,7 +70,7 @@
6970
</script>
7071

7172
<!-- Hide / unhide sidebar before it is displayed -->
72-
<script>
73+
<script type="text/javascript">
7374
var html = document.querySelector('html');
7475
var sidebar = 'hidden';
7576
if (document.body.clientWidth >= 1080) {
@@ -90,7 +91,7 @@
9091
<div id="page-wrapper" class="page-wrapper">
9192

9293
<div class="page">
93-
<div id="menu-bar-hover-placeholder"></div>
94+
<div id="menu-bar-hover-placeholder"></div>
9495
<div id="menu-bar" class="menu-bar sticky bordered">
9596
<div class="left-buttons">
9697
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
@@ -100,7 +101,7 @@
100101
<i class="fa fa-paint-brush"></i>
101102
</button>
102103
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
103-
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
104+
<li role="none"><button role="menuitem" class="theme" id="light">Light (default)</button></li>
104105
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
105106
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
106107
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
@@ -136,7 +137,7 @@ <h1 class="menu-title">Rust By Example 日本語版</h1>
136137
</div>
137138

138139
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
139-
<script>
140+
<script type="text/javascript">
140141
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
141142
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
142143
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
@@ -168,27 +169,27 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
168169

169170

170171

171-
<script>
172+
<script type="text/javascript">
172173
window.playground_line_numbers = true;
173174
</script>
174175

175-
<script>
176+
<script type="text/javascript">
176177
window.playground_copyable = true;
177178
</script>
178179

179-
<script src="ace.js"></script>
180-
<script src="editor.js"></script>
181-
<script src="mode-rust.js"></script>
182-
<script src="theme-dawn.js"></script>
183-
<script src="theme-tomorrow_night.js"></script>
180+
<script src="ace.js" type="text/javascript" charset="utf-8"></script>
181+
<script src="editor.js" type="text/javascript" charset="utf-8"></script>
182+
<script src="mode-rust.js" type="text/javascript" charset="utf-8"></script>
183+
<script src="theme-dawn.js" type="text/javascript" charset="utf-8"></script>
184+
<script src="theme-tomorrow_night.js" type="text/javascript" charset="utf-8"></script>
184185

185-
<script src="elasticlunr.min.js"></script>
186-
<script src="mark.min.js"></script>
187-
<script src="searcher.js"></script>
186+
<script src="elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
187+
<script src="mark.min.js" type="text/javascript" charset="utf-8"></script>
188+
<script src="searcher.js" type="text/javascript" charset="utf-8"></script>
188189

189-
<script src="clipboard.min.js"></script>
190-
<script src="highlight.js"></script>
191-
<script src="book.js"></script>
190+
<script src="clipboard.min.js" type="text/javascript" charset="utf-8"></script>
191+
<script src="highlight.js" type="text/javascript" charset="utf-8"></script>
192+
<script src="book.js" type="text/javascript" charset="utf-8"></script>
192193

193194
<!-- Custom JS scripts -->
194195

‎docs/404.md

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
---
2+
title: "404 Not Found"
3+
permalink: /404.html
4+
---
5+
6+
## 404 Not Found
7+
8+
<div id="suggestion">
9+
お探しのページは存在しません。
10+
<a href="https://doc.rust-jp.rs">トップページ</a>からご利用ください。
11+
</div>
12+
13+
<script>
14+
var base_url = 'https://doc.rust-jp.rs';
15+
var rbe_old = '/rust-by-example-ja/rust-by-example';
16+
var rbe_new = '/rust-by-example-ja'
17+
18+
var href = location.href;
19+
var path = location.pathname;
20+
var redirect_to = '';
21+
22+
if (path.startsWith(rbe_old)) {
23+
redirect_to = href.replace(rbe_old, rbe_new);
24+
}
25+
26+
if (redirect_to != '') {
27+
var elem = document.getElementById('suggestion');
28+
elem.innerHTML = '<p>お探しのページは移動したようです。こちらのURLをお試しください。</br>'
29+
elem.innerHTML += '<a href="' + redirect_to + '">' + redirect_to + '</a></p>';
30+
elem.innerHTML += '<p>または、このサイトの<a href="' + base_url + '">トップページ</a>をご利用ください。</p>'
31+
}
32+
</script>

‎docs/attribute.html

Lines changed: 24 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,8 @@
77

88

99
<!-- Custom HTML head -->
10-
10+
11+
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
1112
<meta name="description" content="Rust by Example (RBE) is a collection of runnable examples that illustrate various Rust concepts and standard libraries.">
1213
<meta name="viewport" content="width=device-width, initial-scale=1">
1314
<meta name="theme-color" content="#ffffff" />
@@ -34,13 +35,13 @@
3435
</head>
3536
<body>
3637
<!-- Provide site root to javascript -->
37-
<script>
38+
<script type="text/javascript">
3839
var path_to_root = "";
3940
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
4041
</script>
4142

4243
<!-- Work around some values being stored in localStorage wrapped in quotes -->
43-
<script>
44+
<script type="text/javascript">
4445
try {
4546
var theme = localStorage.getItem('mdbook-theme');
4647
var sidebar = localStorage.getItem('mdbook-sidebar');
@@ -56,7 +57,7 @@
5657
</script>
5758

5859
<!-- Set the theme before any content is loaded, prevents flash -->
59-
<script>
60+
<script type="text/javascript">
6061
var theme;
6162
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6263
if (theme === null || theme === undefined) { theme = default_theme; }
@@ -68,7 +69,7 @@
6869
</script>
6970

7071
<!-- Hide / unhide sidebar before it is displayed -->
71-
<script>
72+
<script type="text/javascript">
7273
var html = document.querySelector('html');
7374
var sidebar = 'hidden';
7475
if (document.body.clientWidth >= 1080) {
@@ -89,7 +90,7 @@
8990
<div id="page-wrapper" class="page-wrapper">
9091

9192
<div class="page">
92-
<div id="menu-bar-hover-placeholder"></div>
93+
<div id="menu-bar-hover-placeholder"></div>
9394
<div id="menu-bar" class="menu-bar sticky bordered">
9495
<div class="left-buttons">
9596
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
@@ -99,7 +100,7 @@
99100
<i class="fa fa-paint-brush"></i>
100101
</button>
101102
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
102-
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
103+
<li role="none"><button role="menuitem" class="theme" id="light">Light (default)</button></li>
103104
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
104105
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
105106
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
@@ -135,7 +136,7 @@ <h1 class="menu-title">Rust By Example 日本語版</h1>
135136
</div>
136137

137138
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
138-
<script>
139+
<script type="text/javascript">
139140
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
140141
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
141142
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
@@ -193,7 +194,8 @@ <h1 id="アトリビュート"><a class="header" href="#アトリビュート">
193194

194195

195196
#[attribute(value, value2, value3,
196-
value4, value5)]</code></pre>
197+
value4, value5)]
198+
</code></pre>
197199

198200
</main>
199201

@@ -226,27 +228,27 @@ <h1 id="アトリビュート"><a class="header" href="#アトリビュート">
226228

227229

228230

229-
<script>
231+
<script type="text/javascript">
230232
window.playground_line_numbers = true;
231233
</script>
232234

233-
<script>
235+
<script type="text/javascript">
234236
window.playground_copyable = true;
235237
</script>
236238

237-
<script src="ace.js"></script>
238-
<script src="editor.js"></script>
239-
<script src="mode-rust.js"></script>
240-
<script src="theme-dawn.js"></script>
241-
<script src="theme-tomorrow_night.js"></script>
239+
<script src="ace.js" type="text/javascript" charset="utf-8"></script>
240+
<script src="editor.js" type="text/javascript" charset="utf-8"></script>
241+
<script src="mode-rust.js" type="text/javascript" charset="utf-8"></script>
242+
<script src="theme-dawn.js" type="text/javascript" charset="utf-8"></script>
243+
<script src="theme-tomorrow_night.js" type="text/javascript" charset="utf-8"></script>
242244

243-
<script src="elasticlunr.min.js"></script>
244-
<script src="mark.min.js"></script>
245-
<script src="searcher.js"></script>
245+
<script src="elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
246+
<script src="mark.min.js" type="text/javascript" charset="utf-8"></script>
247+
<script src="searcher.js" type="text/javascript" charset="utf-8"></script>
246248

247-
<script src="clipboard.min.js"></script>
248-
<script src="highlight.js"></script>
249-
<script src="book.js"></script>
249+
<script src="clipboard.min.js" type="text/javascript" charset="utf-8"></script>
250+
<script src="highlight.js" type="text/javascript" charset="utf-8"></script>
251+
<script src="book.js" type="text/javascript" charset="utf-8"></script>
250252

251253
<!-- Custom JS scripts -->
252254

‎docs/attribute/cfg.html

Lines changed: 24 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,8 @@
77

88

99
<!-- Custom HTML head -->
10-
10+
11+
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
1112
<meta name="description" content="Rust by Example (RBE) is a collection of runnable examples that illustrate various Rust concepts and standard libraries.">
1213
<meta name="viewport" content="width=device-width, initial-scale=1">
1314
<meta name="theme-color" content="#ffffff" />
@@ -34,13 +35,13 @@
3435
</head>
3536
<body>
3637
<!-- Provide site root to javascript -->
37-
<script>
38+
<script type="text/javascript">
3839
var path_to_root = "../";
3940
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
4041
</script>
4142

4243
<!-- Work around some values being stored in localStorage wrapped in quotes -->
43-
<script>
44+
<script type="text/javascript">
4445
try {
4546
var theme = localStorage.getItem('mdbook-theme');
4647
var sidebar = localStorage.getItem('mdbook-sidebar');
@@ -56,7 +57,7 @@
5657
</script>
5758

5859
<!-- Set the theme before any content is loaded, prevents flash -->
59-
<script>
60+
<script type="text/javascript">
6061
var theme;
6162
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6263
if (theme === null || theme === undefined) { theme = default_theme; }
@@ -68,7 +69,7 @@
6869
</script>
6970

7071
<!-- Hide / unhide sidebar before it is displayed -->
71-
<script>
72+
<script type="text/javascript">
7273
var html = document.querySelector('html');
7374
var sidebar = 'hidden';
7475
if (document.body.clientWidth >= 1080) {
@@ -89,7 +90,7 @@
8990
<div id="page-wrapper" class="page-wrapper">
9091

9192
<div class="page">
92-
<div id="menu-bar-hover-placeholder"></div>
93+
<div id="menu-bar-hover-placeholder"></div>
9394
<div id="menu-bar" class="menu-bar sticky bordered">
9495
<div class="left-buttons">
9596
<button id="sidebar-toggle" class="icon-button" type="button" title="Toggle Table of Contents" aria-label="Toggle Table of Contents" aria-controls="sidebar">
@@ -99,7 +100,7 @@
99100
<i class="fa fa-paint-brush"></i>
100101
</button>
101102
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
102-
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
103+
<li role="none"><button role="menuitem" class="theme" id="light">Light (default)</button></li>
103104
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
104105
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
105106
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
@@ -135,7 +136,7 @@ <h1 class="menu-title">Rust By Example 日本語版</h1>
135136
</div>
136137

137138
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
138-
<script>
139+
<script type="text/javascript">
139140
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
140141
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
141142
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
@@ -189,7 +190,8 @@ <h1 id="cfg"><a class="header" href="#cfg"><code>cfg</code></a></h1>
189190
} else {
190191
println!(&quot;Yes. It's definitely *not* linux!&quot;);
191192
}
192-
}</code></pre></pre>
193+
}
194+
</code></pre></pre>
193195
<!--
194196
### See also:
195197
-->
@@ -230,27 +232,27 @@ <h3 id="参照"><a class="header" href="#参照">参照</a></h3>
230232

231233

232234

233-
<script>
235+
<script type="text/javascript">
234236
window.playground_line_numbers = true;
235237
</script>
236238

237-
<script>
239+
<script type="text/javascript">
238240
window.playground_copyable = true;
239241
</script>
240242

241-
<script src="../ace.js"></script>
242-
<script src="../editor.js"></script>
243-
<script src="../mode-rust.js"></script>
244-
<script src="../theme-dawn.js"></script>
245-
<script src="../theme-tomorrow_night.js"></script>
243+
<script src="../ace.js" type="text/javascript" charset="utf-8"></script>
244+
<script src="../editor.js" type="text/javascript" charset="utf-8"></script>
245+
<script src="../mode-rust.js" type="text/javascript" charset="utf-8"></script>
246+
<script src="../theme-dawn.js" type="text/javascript" charset="utf-8"></script>
247+
<script src="../theme-tomorrow_night.js" type="text/javascript" charset="utf-8"></script>
246248

247-
<script src="../elasticlunr.min.js"></script>
248-
<script src="../mark.min.js"></script>
249-
<script src="../searcher.js"></script>
249+
<script src="../elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
250+
<script src="../mark.min.js" type="text/javascript" charset="utf-8"></script>
251+
<script src="../searcher.js" type="text/javascript" charset="utf-8"></script>
250252

251-
<script src="../clipboard.min.js"></script>
252-
<script src="../highlight.js"></script>
253-
<script src="../book.js"></script>
253+
<script src="../clipboard.min.js" type="text/javascript" charset="utf-8"></script>
254+
<script src="../highlight.js" type="text/javascript" charset="utf-8"></script>
255+
<script src="../book.js" type="text/javascript" charset="utf-8"></script>
254256

255257
<!-- Custom JS scripts -->
256258

0 commit comments

Comments
 (0)
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy