From ab89443fa6d3a9e13476dae2a3a6c23d13ccf9b0 Mon Sep 17 00:00:00 2001
From: Mischa POSLAWSKY <perl@shiar.org>
Date: Tue, 12 Sep 2017 01:57:41 +0200
Subject: [PATCH] page: split head/foot includes

Separate menu.html for site-specific navigation from head.inc.html,
and move mandatory div/body closing tags out of foot.inc.php.
---
 foot.inc.php | 2 --
 head.inc.php | 6 +++++-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/foot.inc.php b/foot.inc.php
index e61346a..96b05ea 100755
--- a/foot.inc.php
+++ b/foot.inc.php
@@ -1,4 +1,3 @@
-</div>
 <hr class="footer" />
 <?php
 define('N', "\n");
@@ -36,4 +35,3 @@ EOT;
 	echo '</p>'.N;
 }
 
-?></body></html>
diff --git a/head.inc.php b/head.inc.php
index 4489ce9..f8435ff 100644
--- a/head.inc.php
+++ b/head.inc.php
@@ -1,10 +1,14 @@
 <?php
-include 'head.inc.html';
+include_once 'head.inc.html';
+
+include 'menu.html';
 
 print '<div class="article">'."\n\n";
 
 include_once 'auth.inc.php';
 
 register_shutdown_function(function () {
+	print "</div>\n\n";
 	include 'foot.inc.php';
+	print "</body></html>\n";
 });
-- 
2.30.0