From 01ea7d28a961261f21f1d089b16fc7baae046953 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 11 Feb 2019 13:23:52 +0100
Subject: lib/style.php: allow for title without extension

---
 lib/style.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/lib/style.php b/lib/style.php
index 3527994..ea7d4b2 100644
--- a/lib/style.php
+++ b/lib/style.php
@@ -11,7 +11,10 @@ function print_header($title) {
 <html lang="en">
   <head>
     <meta charset="utf-8" />
-    <title>Arch Linux 32 - <?php print $title; ?></title>
+    <title>Arch Linux 32<?php
+if (!empty($title))
+  print " - " . $title;
+?></title>
     <link rel="stylesheet" type="text/css" href="/static/archweb.css" media="screen, projection" />
     <link rel="icon" type="image/x-icon" href="/static/favicon.ico" />
     <link rel="shortcut icon" type="image/x-icon" href="/static/favicon.ico" />
-- 
cgit v1.2.3-70-g09d2

