1 |
commit: 2b33c9a170b122b6fd4ff33718698b25baaca889 |
2 |
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Feb 25 16:27:04 2020 +0000 |
4 |
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri Feb 28 06:25:01 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=2b33c9a1 |
7 |
|
8 |
bin/gen-eclass-html.sh: Use en-dash in page title. |
9 |
|
10 |
For consistency with devbook.xsl. The literal character is visually |
11 |
indistinguishable from other dashes when using a fixed-width font, |
12 |
therefore replace it by an – escape. |
13 |
|
14 |
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org> |
15 |
|
16 |
bin/gen-eclass-html.sh | 2 +- |
17 |
devbook.xsl | 2 +- |
18 |
2 files changed, 2 insertions(+), 2 deletions(-) |
19 |
|
20 |
diff --git a/bin/gen-eclass-html.sh b/bin/gen-eclass-html.sh |
21 |
index ed43090..88f05a0 100755 |
22 |
--- a/bin/gen-eclass-html.sh |
23 |
+++ b/bin/gen-eclass-html.sh |
24 |
@@ -10,7 +10,7 @@ IFS='' read -r -d '' HEADER << 'EOF' |
25 |
<html lang="en"> |
26 |
<head> |
27 |
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> |
28 |
- <title>@TITLE@ - Gentoo Development Guide</title> |
29 |
+ <title>@TITLE@ – Gentoo Development Guide</title> |
30 |
<meta name="viewport" content="width=device-width, initial-scale=1.0"> |
31 |
<meta name="description" content="The Gentoo Devmanual is a technical manual which covers topics such as writing ebuilds and eclasses, and policies that developers should be abiding by."> |
32 |
<link href="https://assets.gentoo.org/tyrian/bootstrap.min.css" rel="stylesheet" media="screen"> |
33 |
|
34 |
diff --git a/devbook.xsl b/devbook.xsl |
35 |
index 0fd8766..69a3b9a 100644 |
36 |
--- a/devbook.xsl |
37 |
+++ b/devbook.xsl |
38 |
@@ -452,7 +452,7 @@ |
39 |
<xsl:value-of select='$newline'/> |
40 |
<html lang="en"> |
41 |
<head> |
42 |
- <title><xsl:value-of select="/guide/chapter[1]/title"/> – Gentoo Development Guide</title> |
43 |
+ <title><xsl:value-of select="/guide/chapter[1]/title"/> – Gentoo Development Guide</title> |
44 |
<meta name="viewport" content="width=device-width, initial-scale=1.0" /> |
45 |
<meta name="description" content="The Gentoo Devmanual is a technical manual which covers topics such as writing ebuilds and eclasses, and policies that developers should be abiding by." /> |
46 |
<xsl:choose> |