Skip to content
This repository was archived by the owner on Jun 24, 2025. It is now read-only.

Commit 5bcae52

Browse files
eliandoraneliandoran
committed
docs: Always use HTML extensions
1 parent 4f5fa9f commit 5bcae52

File tree

8 files changed

+23
-28
lines changed

8 files changed

+23
-28
lines changed

‎docs-new/index.template.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<!DOCTYPE html>
22
<html>
33
<head>
4-
<meta http-equiv="refresh" content="0; url=./share/{{ROOT_NOTE_ID}}" />
4+
<meta http-equiv="refresh" content="0; url=./share/{{ROOT_NOTE_ID}}.html" />
55
</head>
66

77
<body>

‎docs-new/prepare.sh

Lines changed: 2 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -15,18 +15,13 @@ source ./.env
1515

1616
# Download everything in output/notes.example.com/share/...
1717
share_url="$SHARE_PROTOCOL://$SHARE_HOST/share/$ROOT_NOTE_ID"
18-
wget -rp -e robots=off "$share_url" -P "$output_dir"
18+
wget -rpEk -e robots=off "$share_url" -P "$output_dir"
1919

2020
# Get rid of the domain in the output folder
2121
mv "$output_dir/$SHARE_HOST"/* "$output_dir/"
2222
rmdir "$output_dir/$SHARE_HOST"
2323

24-
# Rename share/* to share/*.html because GitHub Pages will ask the client to download the files otherwise.
25-
for file in "$output_dir/share"/*; do
26-
mv "$file" "$file.html"
27-
done
28-
2924
# Create home page with redirect
3025
index_dest_path="$output_dir/index.html"
3126
cp index.template.html "$index_dest_path"
32-
sed -i "s/{{ROOT_NOTE_ID}}/$ROOT_NOTE_ID/g" "$index_dest_path"
27+
sed -i "s/{{ROOT_NOTE_ID}}/$ROOT_NOTE_ID/g" "$index_dest_path"

‎docs-new/preview.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,4 @@
22

33
script_dir=$(realpath $(dirname $0))
44
output_dir="$script_dir/../docs"
5-
httpd -fv -p 127.0.0.1:8089 -h output
5+
httpd -fv -p 127.0.0.1:8089 -h "$output_dir"

‎docs/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<!DOCTYPE html>
22
<html>
33
<head>
4-
<meta http-equiv="refresh" content="0; url=./share/4yYHqKbLovVX" />
4+
<meta http-equiv="refresh" content="0; url=./share/4yYHqKbLovVX.html" />
55
</head>
66

77
<body>

‎docs/share/4yYHqKbLovVX.html

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -40,12 +40,12 @@ <h1 id="title">Developer&#39;s Guide</h1>
4040
<ul>
4141

4242
<li>
43-
<a href="./hkrBX8KE1HQl"
43+
<a href="hkrBX8KE1HQl.html"
4444
class="type-text">Internationalisation</a>
4545
</li>
4646

4747
<li>
48-
<a href="./VS22Hq5PBFNf"
48+
<a href="VS22Hq5PBFNf.html"
4949
class="type-text">Dependency Management</a>
5050
</li>
5151

@@ -76,7 +76,7 @@ <h1 id="title">Developer&#39;s Guide</h1>
7676

7777

7878

79-
<a class="type-text" href="./hkrBX8KE1HQl">Internationalisation</a>
79+
<a class="type-text" href="hkrBX8KE1HQl.html">Internationalisation</a>
8080

8181
</p>
8282

@@ -90,7 +90,7 @@ <h1 id="title">Developer&#39;s Guide</h1>
9090

9191

9292

93-
<a class="type-text" href="./VS22Hq5PBFNf">Dependency Management</a>
93+
<a class="type-text" href="VS22Hq5PBFNf.html">Dependency Management</a>
9494

9595
</p>
9696

@@ -103,7 +103,7 @@ <h1 id="title">Developer&#39;s Guide</h1>
103103

104104

105105

106-
<a class="type-text" href="./QXCi6Y1SYulw">Adding a new client library</a>
106+
<a class="type-text" href="QXCi6Y1SYulw.html">Adding a new client library</a>
107107

108108
</p>
109109

‎docs/share/QXCi6Y1SYulw.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@
2727
<div id="main">
2828

2929
<nav id="parentLink">
30-
parent: <a href="VS22Hq5PBFNf"
30+
parent: <a href="VS22Hq5PBFNf.html"
3131
class="type-text">Dependency Management</a>
3232
</nav>
3333

@@ -102,7 +102,7 @@ <h1 id="title">Adding a new client library</h1>
102102

103103

104104

105-
<a class="type-text" href="./4yYHqKbLovVX">Developer&#39;s Guide</a>
105+
<a class="type-text" href="4yYHqKbLovVX.html">Developer&#39;s Guide</a>
106106

107107
</p>
108108

@@ -115,7 +115,7 @@ <h1 id="title">Adding a new client library</h1>
115115

116116

117117

118-
<a class="type-text" href="./hkrBX8KE1HQl">Internationalisation</a>
118+
<a class="type-text" href="hkrBX8KE1HQl.html">Internationalisation</a>
119119

120120
</p>
121121

@@ -129,7 +129,7 @@ <h1 id="title">Adding a new client library</h1>
129129

130130

131131

132-
<a class="type-text" href="./VS22Hq5PBFNf">Dependency Management</a>
132+
<a class="type-text" href="VS22Hq5PBFNf.html">Dependency Management</a>
133133

134134
</p>
135135

‎docs/share/VS22Hq5PBFNf.html

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@
2727
<div id="main">
2828

2929
<nav id="parentLink">
30-
parent: <a href="4yYHqKbLovVX"
30+
parent: <a href="4yYHqKbLovVX.html"
3131
class="type-text">Developer&#39;s Guide</a>
3232
</nav>
3333

@@ -45,7 +45,7 @@ <h1 id="title">Dependency Management</h1>
4545
<ul>
4646

4747
<li>
48-
<a href="./QXCi6Y1SYulw"
48+
<a href="QXCi6Y1SYulw.html"
4949
class="type-text">Adding a new client library</a>
5050
</li>
5151

@@ -63,7 +63,7 @@ <h1 id="title">Dependency Management</h1>
6363

6464

6565

66-
<a class="type-text" href="./4yYHqKbLovVX">Developer&#39;s Guide</a>
66+
<a class="type-text" href="4yYHqKbLovVX.html">Developer&#39;s Guide</a>
6767

6868
</p>
6969

@@ -76,7 +76,7 @@ <h1 id="title">Dependency Management</h1>
7676

7777

7878

79-
<a class="type-text" href="./hkrBX8KE1HQl">Internationalisation</a>
79+
<a class="type-text" href="hkrBX8KE1HQl.html">Internationalisation</a>
8080

8181
</p>
8282

@@ -103,7 +103,7 @@ <h1 id="title">Dependency Management</h1>
103103

104104

105105

106-
<a class="type-text" href="./QXCi6Y1SYulw">Adding a new client library</a>
106+
<a class="type-text" href="QXCi6Y1SYulw.html">Adding a new client library</a>
107107

108108
</p>
109109

‎docs/share/hkrBX8KE1HQl.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@
2727
<div id="main">
2828

2929
<nav id="parentLink">
30-
parent: <a href="4yYHqKbLovVX"
30+
parent: <a href="4yYHqKbLovVX.html"
3131
class="type-text">Developer&#39;s Guide</a>
3232
</nav>
3333

@@ -58,7 +58,7 @@ <h1 id="title">Internationalisation</h1>
5858

5959

6060

61-
<a class="type-text" href="./4yYHqKbLovVX">Developer&#39;s Guide</a>
61+
<a class="type-text" href="4yYHqKbLovVX.html">Developer&#39;s Guide</a>
6262

6363
</p>
6464

@@ -85,7 +85,7 @@ <h1 id="title">Internationalisation</h1>
8585

8686

8787

88-
<a class="type-text" href="./VS22Hq5PBFNf">Dependency Management</a>
88+
<a class="type-text" href="VS22Hq5PBFNf.html">Dependency Management</a>
8989

9090
</p>
9191

@@ -98,7 +98,7 @@ <h1 id="title">Internationalisation</h1>
9898

9999

100100

101-
<a class="type-text" href="./QXCi6Y1SYulw">Adding a new client library</a>
101+
<a class="type-text" href="QXCi6Y1SYulw.html">Adding a new client library</a>
102102

103103
</p>
104104

0 commit comments

Comments
 (0)