summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--TODO1
-rw-r--r--common.php7
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
diff --git a/TODO b/TODO
index 77d6f1c..408646b 100644
--- a/TODO
+++ b/TODO
@@ -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
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);