diff options
Diffstat (limited to '')
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | TODO | 1 | ||||
-rw-r--r-- | common.php | 7 |
3 files changed, 6 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..4f4773f --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +config.php @@ -9,5 +9,4 @@ TODO: Minify, consolidate TODO: re-export .svgs as plain svg TODO: readable credits in about.html or something FIXME: it's possible to call man args like -w, dissalow strings that start with -? -TODO: separate config variables (like $manpath) and don't include those in git TODO: add the ifra. configuration scripts (like nginx and php-fpm config) and make it automated @@ -8,8 +8,11 @@ $root = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://' . $_SERVER['HTTP_HOST']; - $manbin = "/home/dwlr/nfs_red/deb_man/mandoc/bin/man"; - $manpath = "/home/dwlr/nfs_red/deb_man/mans/bookworm/man"; + require "config.php"; + + if(empty($manbin) || empty($manpath)) + exit("ERROR: Unconfigured backend!"); + require "$manpath/archs.php"; $action = trim($_GET['action'] ?? null); |