From d66f88febd3f19afd6b0ed0bee347e8f7db3e086 Mon Sep 17 00:00:00 2001 From: dweller Date: Fri, 8 Mar 2024 19:53:47 +0200 Subject: fix formatting and parsing when using self-compiled mandoc that produced different HTML output --- common.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'common.php') diff --git a/common.php b/common.php index b9bc1d4..3114683 100644 --- a/common.php +++ b/common.php @@ -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); -- cgit v1.2.3