summaryrefslogtreecommitdiff
path: root/common.php
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--common.php7
1 files changed, 5 insertions, 2 deletions
diff --git a/common.php b/common.php
index e246b29..82c59a6 100644
--- a/common.php
+++ b/common.php
@@ -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);