projects
/
oweals
/
gnunet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
da0e889
)
produce_html.sh.in: fix pth
author
ng0
<ng0@n0.is>
Mon, 25 Nov 2019 22:47:31 +0000
(22:47 +0000)
committer
ng0
<ng0@n0.is>
Mon, 25 Nov 2019 22:47:31 +0000
(22:47 +0000)
doc/man/produce_html.sh.in
patch
|
blob
|
history
diff --git
a/doc/man/produce_html.sh.in
b/doc/man/produce_html.sh.in
index 3f4520776cf4859d92b5418f3a204d63ce4cb010..962601513e1242c46f3b496ad8f63b40028b028a 100755
(executable)
--- 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