From a616477a70fd0837a2bedee5e863c1ae3db7d2f4 Mon Sep 17 00:00:00 2001
From: "David T. Sadler" <davidtsadler@googlemail.com>
Date: Thu, 27 May 2021 20:55:30 +0100
Subject: Tidy up scripts

---
 scripts/build_www_site.php | 46 ----------------------------------------------
 1 file changed, 46 deletions(-)
 delete mode 100644 scripts/build_www_site.php

(limited to 'scripts/build_www_site.php')

diff --git a/scripts/build_www_site.php b/scripts/build_www_site.php
deleted file mode 100644
index f6a5806..0000000
--- a/scripts/build_www_site.php
+++ /dev/null
@@ -1,46 +0,0 @@
-<?php declare(strict_types=1);
-
-require_once __DIR__.DIRECTORY_SEPARATOR.'functions.php';
-
-$hostname = 'davidtsadler.com';
-
-$geminiSrc = __DIR__.DIRECTORY_SEPARATOR.'..'.DIRECTORY_SEPARATOR.'gemini';
-
-if (!is_dir($geminiSrc)) {
-    echo "Unable to locate gemini directory.\n\n";
-    exit(1);
-}
-
-if (!is_readable($geminiSrc)) {
-    echo "Gemini directory is not readable.\n\n";
-    exit(1);
-}
-
-$output = __DIR__.DIRECTORY_SEPARATOR.'..'.DIRECTORY_SEPARATOR.'www';
-
-if (!is_dir($output)) {
-    echo "Unable to locate output directory.\n\n";
-    exit(1);
-}
-
-if (!is_writable($output)) {
-    echo "Output directory is not writable.\n\n";
-    exit(1);
-}
-
-$htmlTemplateDiretory = __DIR__.DIRECTORY_SEPARATOR.'../html_templates';
-
-if (!is_dir($htmlTemplateDiretory)) {
-    echo "Unable to locate html template directory.\n\n";
-    exit(1);
-}
-
-if (!is_readable($htmlTemplateDiretory)) {
-    echo "HTML template directory is not readable.\n\n";
-    exit(1);
-}
-
-$pages = getPages($geminiSrc, $output);
-
-buildWWWSite($pages, $hostname, $htmlTemplateDiretory, $output);
-
-- 
cgit v1.2.3-13-gbd6f