[gnunet] branch master updated: produce_html.sh.in: fix pth

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 525fe939b produce_html.sh.in: fix pth
525fe939b is described below

commit 525fe939b79eddb25504ce335c7ccbf0b36ccde5
Author: ng0 <address@hidden>
AuthorDate: Mon Nov 25 22:47:31 2019 +0000

    produce_html.sh.in: fix pth
---
 doc/man/produce_html.sh.in | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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

-- 
To stop receiving notification emails like this one, please contact
address@hidden.