summaryrefslogtreecommitdiff
path: root/scripts/build.php
diff options
context:
space:
mode:
authorDavid T. Sadler <davidtsadler@googlemail.com>2021-05-19 23:46:22 +0100
committerDavid T. Sadler <davidtsadler@googlemail.com>2021-05-19 23:46:22 +0100
commit62243cd0b5262e14df7e7b5b7103b5b2e006cab5 (patch)
tree2efe608a92f42aca3c372712fc14d4ae10fcec72 /scripts/build.php
parentbbf7974715b9a43bab207df75ef69209cdf13850 (diff)
Add more to css
Diffstat (limited to 'scripts/build.php')
-rw-r--r--scripts/build.php46
1 files changed, 0 insertions, 46 deletions
diff --git a/scripts/build.php b/scripts/build.php
deleted file mode 100644
index e610298..0000000
--- a/scripts/build.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);
-