diff options
Diffstat (limited to 'doc')
-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 |