diff options
author | ng0 <ng0@n0.is> | 2019-11-25 22:47:31 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-11-25 22:47:31 +0000 |
commit | 525fe939b79eddb25504ce335c7ccbf0b36ccde5 (patch) | |
tree | 4686cb800560b0f1410ee06517c866a676f1c63e /doc/man/produce_html.sh.in | |
parent | da0e889cc6006fbf5fc6415c339e7320d2ba0e0e (diff) | |
download | gnunet-525fe939b79eddb25504ce335c7ccbf0b36ccde5.tar.gz gnunet-525fe939b79eddb25504ce335c7ccbf0b36ccde5.zip |
produce_html.sh.in: fix pth
Diffstat (limited to 'doc/man/produce_html.sh.in')
-rwxr-xr-x | doc/man/produce_html.sh.in | 7 |
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 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | 2 | ||
3 | . @pkgdatadir@/existence.sh | 3 | if test -e @pkgdatadir@/existence.sh |
4 | then | ||
5 | . @pkgdatadir@/existence.sh | ||
6 | else | ||
7 | . $dir/../../contrib/build-common/sh/lib.sh/existence.sh | ||
8 | fi | ||
4 | 9 | ||
5 | if existence mandoc; | 10 | if existence mandoc; |
6 | then | 11 | then |