diff options
| author | David T. Sadler <davidtsadler@googlemail.com> | 2021-05-19 23:46:22 +0100 |
|---|---|---|
| committer | David T. Sadler <davidtsadler@googlemail.com> | 2021-05-19 23:46:22 +0100 |
| commit | 62243cd0b5262e14df7e7b5b7103b5b2e006cab5 (patch) | |
| tree | 2efe608a92f42aca3c372712fc14d4ae10fcec72 /scripts/build.php | |
| parent | bbf7974715b9a43bab207df75ef69209cdf13850 (diff) | |
Add more to css
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); - |
