Improve page titles

This commit is contained in:
Thomas Karpiniec 2016-01-23 10:05:40 +11:00
parent ef7f2739d4
commit 9f262cea7f

View File

@ -70,6 +70,8 @@ function render_with_config_path($config_file) {
// TOC gets its info from the config file, not from an h1 which may or may not be present
$page_id = $page["id"];
$sections[] = array("type" => "PAGE", "page" => "$page_id.html", "section" => "", "number" => "$page_no.", "title" => $page["title"]);
$page_title = $page["title"];
$substitutions["{LINK:$page_id}"] = "<a href=\"$page_id.html\">$page_title</a>";
for ($i = 0; $i < count($types); $i++) {
$tag = "h1";
@ -178,6 +180,7 @@ function render_with_config_path($config_file) {
$substitutions["{PREV_TITLE}"] = "";
$substitutions["{NEXT_URL}"] = $config["pages"][0]["id"] . ".html";
$substitutions["{NEXT_TITLE}"] = $config["pages"][0]["title"];
$substitutions["{PAGE_TITLE}"] = "Contents";
// Write it to disk
if (is_file($toc_html)) {
@ -188,6 +191,7 @@ function render_with_config_path($config_file) {
append_file_and_sub($toc_html, "html/common/footer.html", $substitutions);
// This manual is all done
echo "Manual '" . $config["title"] . "' completed rendering at: " . $config["output_dir"] . "\n\n";
}
function append_file_and_sub($dest, $src, $substitutions) {