diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2021-12-20 10:59:42 +0100 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2021-12-20 10:59:42 +0100 |
| commit | ed65e2cac3e720c226f8dec07ac37ab62578724e (patch) | |
| tree | 67ff1ec66a29423cb173d6a07defcb4ad8e4baa6 /doc | |
| parent | 511058f7e97d46eebe74a8c14aaff81865faa860 (diff) | |
| download | gnunet-ed65e2cac3e720c226f8dec07ac37ab62578724e.tar.gz gnunet-ed65e2cac3e720c226f8dec07ac37ab62578724e.zip | |
BUILD: Kill build-common
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/man/produce_html.sh.in | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/doc/man/produce_html.sh.in b/doc/man/produce_html.sh.in index 8680c0106..e9581622f 100755 --- a/doc/man/produce_html.sh.in +++ b/doc/man/produce_html.sh.in | |||
| @@ -1,13 +1,6 @@ | |||
| 1 | #!/bin/bash | 1 | #!/bin/bash |
| 2 | 2 | ||
| 3 | if test -e @PKGDATADIRECTORY@/existence.sh | 3 | if command -v mandoc >/dev/null 2>&1; |
| 4 | then | ||
| 5 | . @PKGDATADIRECTORY@/existence.sh | ||
| 6 | else | ||
| 7 | . $dir/../../contrib/build-common/sh/lib.sh/existence.sh | ||
| 8 | fi | ||
| 9 | |||
| 10 | if existence mandoc; | ||
| 11 | then | 4 | then |
| 12 | for f in `find . -name \*\.[1-9]`; | 5 | for f in `find . -name \*\.[1-9]`; |
| 13 | do | 6 | do |