authorgravatar for mrpaul@aestheticwisdom.comPaul Espinosa <mrpaul@aestheticwisdom.com> 2020-07-08 11:42:02+07:00
committergravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2020-07-08 19:31:38+00:00
logeeae3a8f9df49e53392bcd7b04b463f6bffcec9c
tree6d29d6f5e9b5a9de5bd6f09644389af5f84ac459
parent6fbb5f0a81946d0392100d0f1c8ecfd43f825651

Rename langref's Index to Contents (TOC)

The language reference's Index is a list of the documentation's contents in order of appearance. This commit renames "Index" to "Contents" as in table of contents. It also renames the HTML/CSS identifiers from "index" to "toc".

1 files changed, 4 insertions(+), 4 deletions(-)

doc/langref.html.in+4-4
...@@ -97,7 +97,7 @@...@@ -97,7 +97,7 @@
97 margin: auto;97 margin: auto;
98 }98 }
9999
100 #index {100 #toc {
101 padding: 0 1em;101 padding: 0 1em;
102 }102 }
103103
...@@ -105,7 +105,7 @@...@@ -105,7 +105,7 @@
105 #main-wrapper {105 #main-wrapper {
106 flex-direction: row;106 flex-direction: row;
107 }107 }
108 #contents-wrapper, #index {108 #contents-wrapper, #toc {
109 overflow: auto;109 overflow: auto;
110 }110 }
111 }111 }
...@@ -181,7 +181,7 @@...@@ -181,7 +181,7 @@
181 </head>181 </head>
182 <body>182 <body>
183 <div id="main-wrapper">183 <div id="main-wrapper">
184 <div id="index">184 <div id="toc">
185 <a href="https://ziglang.org/documentation/0.1.1/">0.1.1</a> |185 <a href="https://ziglang.org/documentation/0.1.1/">0.1.1</a> |
186 <a href="https://ziglang.org/documentation/0.2.0/">0.2.0</a> |186 <a href="https://ziglang.org/documentation/0.2.0/">0.2.0</a> |
187 <a href="https://ziglang.org/documentation/0.3.0/">0.3.0</a> |187 <a href="https://ziglang.org/documentation/0.3.0/">0.3.0</a> |
...@@ -189,7 +189,7 @@...@@ -189,7 +189,7 @@
189 <a href="https://ziglang.org/documentation/0.5.0/">0.5.0</a> |189 <a href="https://ziglang.org/documentation/0.5.0/">0.5.0</a> |
190 <a href="https://ziglang.org/documentation/0.6.0/">0.6.0</a> |190 <a href="https://ziglang.org/documentation/0.6.0/">0.6.0</a> |
191 master191 master
192 <h1>Index</h1>192 <h1>Contents</h1>
193 {#nav#}193 {#nav#}
194 </div>194 </div>
195 <div id="contents-wrapper"><div id="contents">195 <div id="contents-wrapper"><div id="contents">