diff options
Diffstat (limited to 'scripts/build.php')
| -rw-r--r-- | scripts/build.php | 46 |
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); - |
