1 files changed, 6 insertions, 1 deletions

diff --git a/doc/man/produce_html.sh.in b/doc/man/produce_html.sh.in
index 3f4520776..962601513 100755
--- a/doc/man/produce_html.sh.in
+++ b/doc/man/produce_html.sh.in
@@ -1,6 +1,11 @@
 #!/bin/sh
 
-. @pkgdatadir@/existence.sh
+if test -e @pkgdatadir@/existence.sh
+then
+    . @pkgdatadir@/existence.sh
+else
+    . $dir/../../contrib/build-common/sh/lib.sh/existence.sh
+fi
 
 if existence mandoc;
 then