diff options
author | dweller <dweller@cabin.digital> | 2024-03-08 19:53:47 +0200 |
---|---|---|
committer | dweller <dweller@cabin.digital> | 2024-03-08 19:53:47 +0200 |
commit | d66f88febd3f19afd6b0ed0bee347e8f7db3e086 (patch) | |
tree | 0a931a777591fa6d4edaaeccefa27e4d2d75d090 /common.php | |
parent | 12da9560c792ae5f3beb31dfdf5f41d70d03e4ab (diff) |
fix formatting and parsing when using self-compiled mandoc that produced different HTML output
Diffstat (limited to 'common.php')
-rw-r--r-- | common.php | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -7,10 +7,10 @@ */ - $root = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://' . $_SERVER['HTTP_HOST']; + $manbin = "/home/dwlr/nfs_red/deb_man/mandoc/bin/man"; + $root = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://' . $_SERVER['HTTP_HOST']; $manpath = "/home/dwlr/nfs_red/deb_man/mans/bookworm/man"; - require "$manpath/archs.php"; - + require "$manpath/archs.php"; $action = trim($_GET['action'] ?? null); $query = trim($_GET['query'] ?? null); |