Skip to content

Commit 51b928b

Browse files
bn-ebn-e
committed
ci: generate pages at c125875 [ci skip]
1 parent c125875 commit 51b928b

File tree

116 files changed

+3477
-5239
lines changed

Some content is hidden

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

116 files changed

+3477
-5239
lines changed

‎docs/404.html‎

Lines changed: 14 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,6 @@
99

1010
<!-- Custom HTML head -->
1111

12-
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
1312
<meta name="description" content="">
1413
<meta name="viewport" content="width=device-width, initial-scale=1">
1514
<meta name="theme-color" content="#ffffff" />
@@ -38,13 +37,13 @@
3837
</head>
3938
<body>
4039
<!-- Provide site root to javascript -->
41-
<script type="text/javascript">
40+
<script>
4241
var path_to_root = "";
4342
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
4443
</script>
4544

4645
<!-- Work around some values being stored in localStorage wrapped in quotes -->
47-
<script type="text/javascript">
46+
<script>
4847
try {
4948
var theme = localStorage.getItem('mdbook-theme');
5049
var sidebar = localStorage.getItem('mdbook-sidebar');
@@ -60,7 +59,7 @@
6059
</script>
6160

6261
<!-- Set the theme before any content is loaded, prevents flash -->
63-
<script type="text/javascript">
62+
<script>
6463
var theme;
6564
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6665
if (theme === null || theme === undefined) { theme = default_theme; }
@@ -72,7 +71,7 @@
7271
</script>
7372

7473
<!-- Hide / unhide sidebar before it is displayed -->
75-
<script type="text/javascript">
74+
<script>
7675
var html = document.querySelector('html');
7776
var sidebar = 'hidden';
7877
if (document.body.clientWidth >= 1080) {
@@ -103,7 +102,7 @@
103102
<i class="fa fa-paint-brush"></i>
104103
</button>
105104
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
106-
<li role="none"><button role="menuitem" class="theme" id="light">Light (default)</button></li>
105+
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
107106
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
108107
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
109108
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
@@ -136,7 +135,7 @@ <h1 class="menu-title">The Rust Programming Language 日本語版</h1>
136135
</div>
137136

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

170169

171170

172-
<script type="text/javascript">
171+
<script>
173172
window.playground_copyable = true;
174173
</script>
175174

176175

177-
<script src="elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
178-
<script src="mark.min.js" type="text/javascript" charset="utf-8"></script>
179-
<script src="searcher.js" type="text/javascript" charset="utf-8"></script>
176+
<script src="elasticlunr.min.js"></script>
177+
<script src="mark.min.js"></script>
178+
<script src="searcher.js"></script>
180179

181-
<script src="clipboard.min.js" type="text/javascript" charset="utf-8"></script>
182-
<script src="highlight.js" type="text/javascript" charset="utf-8"></script>
183-
<script src="book.js" type="text/javascript" charset="utf-8"></script>
180+
<script src="clipboard.min.js"></script>
181+
<script src="highlight.js"></script>
182+
<script src="book.js"></script>
184183

185184
<!-- Custom JS scripts -->
186-
<script type="text/javascript" src="ferris.js"></script>
185+
<script src="ferris.js"></script>
187186

188187

189188
</body>

‎docs/appendix-00.html‎

Lines changed: 14 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@
88

99
<!-- Custom HTML head -->
1010

11-
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
1211
<meta name="description" content="">
1312
<meta name="viewport" content="width=device-width, initial-scale=1">
1413
<meta name="theme-color" content="#ffffff" />
@@ -37,13 +36,13 @@
3736
</head>
3837
<body>
3938
<!-- Provide site root to javascript -->
40-
<script type="text/javascript">
39+
<script>
4140
var path_to_root = "";
4241
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
4342
</script>
4443

4544
<!-- Work around some values being stored in localStorage wrapped in quotes -->
46-
<script type="text/javascript">
45+
<script>
4746
try {
4847
var theme = localStorage.getItem('mdbook-theme');
4948
var sidebar = localStorage.getItem('mdbook-sidebar');
@@ -59,7 +58,7 @@
5958
</script>
6059

6160
<!-- Set the theme before any content is loaded, prevents flash -->
62-
<script type="text/javascript">
61+
<script>
6362
var theme;
6463
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6564
if (theme === null || theme === undefined) { theme = default_theme; }
@@ -71,7 +70,7 @@
7170
</script>
7271

7372
<!-- Hide / unhide sidebar before it is displayed -->
74-
<script type="text/javascript">
73+
<script>
7574
var html = document.querySelector('html');
7675
var sidebar = 'hidden';
7776
if (document.body.clientWidth >= 1080) {
@@ -102,7 +101,7 @@
102101
<i class="fa fa-paint-brush"></i>
103102
</button>
104103
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
105-
<li role="none"><button role="menuitem" class="theme" id="light">Light (default)</button></li>
104+
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
106105
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
107106
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
108107
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
@@ -135,7 +134,7 @@ <h1 class="menu-title">The Rust Programming Language 日本語版</h1>
135134
</div>
136135

137136
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
138-
<script type="text/javascript">
137+
<script>
139138
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
140139
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
141140
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
@@ -187,21 +186,21 @@ <h1 id="付録"><a class="header" href="#付録">付録</a></h1>
187186

188187

189188

190-
<script type="text/javascript">
189+
<script>
191190
window.playground_copyable = true;
192191
</script>
193192

194193

195-
<script src="elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
196-
<script src="mark.min.js" type="text/javascript" charset="utf-8"></script>
197-
<script src="searcher.js" type="text/javascript" charset="utf-8"></script>
194+
<script src="elasticlunr.min.js"></script>
195+
<script src="mark.min.js"></script>
196+
<script src="searcher.js"></script>
198197

199-
<script src="clipboard.min.js" type="text/javascript" charset="utf-8"></script>
200-
<script src="highlight.js" type="text/javascript" charset="utf-8"></script>
201-
<script src="book.js" type="text/javascript" charset="utf-8"></script>
198+
<script src="clipboard.min.js"></script>
199+
<script src="highlight.js"></script>
200+
<script src="book.js"></script>
202201

203202
<!-- Custom JS scripts -->
204-
<script type="text/javascript" src="ferris.js"></script>
203+
<script src="ferris.js"></script>
205204

206205

207206
</body>

‎docs/appendix-01-keywords.html‎

Lines changed: 16 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@
88

99
<!-- Custom HTML head -->
1010

11-
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
1211
<meta name="description" content="">
1312
<meta name="viewport" content="width=device-width, initial-scale=1">
1413
<meta name="theme-color" content="#ffffff" />
@@ -37,13 +36,13 @@
3736
</head>
3837
<body>
3938
<!-- Provide site root to javascript -->
40-
<script type="text/javascript">
39+
<script>
4140
var path_to_root = "";
4241
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
4342
</script>
4443

4544
<!-- Work around some values being stored in localStorage wrapped in quotes -->
46-
<script type="text/javascript">
45+
<script>
4746
try {
4847
var theme = localStorage.getItem('mdbook-theme');
4948
var sidebar = localStorage.getItem('mdbook-sidebar');
@@ -59,7 +58,7 @@
5958
</script>
6059

6160
<!-- Set the theme before any content is loaded, prevents flash -->
62-
<script type="text/javascript">
61+
<script>
6362
var theme;
6463
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
6564
if (theme === null || theme === undefined) { theme = default_theme; }
@@ -71,7 +70,7 @@
7170
</script>
7271

7372
<!-- Hide / unhide sidebar before it is displayed -->
74-
<script type="text/javascript">
73+
<script>
7574
var html = document.querySelector('html');
7675
var sidebar = 'hidden';
7776
if (document.body.clientWidth >= 1080) {
@@ -102,7 +101,7 @@
102101
<i class="fa fa-paint-brush"></i>
103102
</button>
104103
<ul id="theme-list" class="theme-popup" aria-label="Themes" role="menu">
105-
<li role="none"><button role="menuitem" class="theme" id="light">Light (default)</button></li>
104+
<li role="none"><button role="menuitem" class="theme" id="light">Light</button></li>
106105
<li role="none"><button role="menuitem" class="theme" id="rust">Rust</button></li>
107106
<li role="none"><button role="menuitem" class="theme" id="coal">Coal</button></li>
108107
<li role="none"><button role="menuitem" class="theme" id="navy">Navy</button></li>
@@ -135,7 +134,7 @@ <h1 class="menu-title">The Rust Programming Language 日本語版</h1>
135134
</div>
136135

137136
<!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->
138-
<script type="text/javascript">
137+
<script>
139138
document.getElementById('sidebar-toggle').setAttribute('aria-expanded', sidebar === 'visible');
140139
document.getElementById('sidebar').setAttribute('aria-hidden', sidebar !== 'visible');
141140
Array.from(document.querySelectorAll('#sidebar a')).forEach(function(link) {
@@ -320,8 +319,7 @@ <h3 id="生識別子"><a class="header" href="#生識別子">生識別子</a></h
320319
}
321320
// 訳注: 引数名は、&quot;a needle in a haystack&quot; すなわち「干し草の中の針」という、
322321
// 「見つかりそうにない捜し物」を意味する成句からもじった命名。
323-
// 検索をする関数でよく使われる。
324-
</code></pre>
322+
// 検索をする関数でよく使われる。</code></pre>
325323
<!--
326324
you’ll get this error:
327325
-->
@@ -349,8 +347,7 @@ <h3 id="生識別子"><a class="header" href="#生識別子">生識別子</a></h
349347

350348
fn main() {
351349
assert!(r#match(&quot;foo&quot;, &quot;foobar&quot;));
352-
}
353-
</code></pre></pre>
350+
}</code></pre></pre>
354351
<!--
355352
This code will compile without any errors. Note the `r#` prefix on the function
356353
name in its definition as well as where the function is called in `main`.
@@ -405,21 +402,21 @@ <h3 id="生識別子"><a class="header" href="#生識別子">生識別子</a></h
405402

406403

407404

408-
<script type="text/javascript">
405+
<script>
409406
window.playground_copyable = true;
410407
</script>
411408

412409

413-
<script src="elasticlunr.min.js" type="text/javascript" charset="utf-8"></script>
414-
<script src="mark.min.js" type="text/javascript" charset="utf-8"></script>
415-
<script src="searcher.js" type="text/javascript" charset="utf-8"></script>
410+
<script src="elasticlunr.min.js"></script>
411+
<script src="mark.min.js"></script>
412+
<script src="searcher.js"></script>
416413

417-
<script src="clipboard.min.js" type="text/javascript" charset="utf-8"></script>
418-
<script src="highlight.js" type="text/javascript" charset="utf-8"></script>
419-
<script src="book.js" type="text/javascript" charset="utf-8"></script>
414+
<script src="clipboard.min.js"></script>
415+
<script src="highlight.js"></script>
416+
<script src="book.js"></script>
420417

421418
<!-- Custom JS scripts -->
422-
<script type="text/javascript" src="ferris.js"></script>
419+
<script src="ferris.js"></script>
423420

424421

425422
</body>

0 commit comments

Comments
 (0)