diff options
author | ng0 <ng0@n0.is> | 2019-11-25 21:51:56 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-11-25 21:51:56 +0000 |
commit | 18d272da7b9a03914abba35ef3992a7e34467ac2 (patch) | |
tree | 8ce3318234e3d738fc5368894dc6904475bc452d /doc/man/produce_html.sh.in | |
parent | 953c0fde25e5b47b378c535b91b648be93dfb871 (diff) | |
download | gnunet-18d272da7b9a03914abba35ef3992a7e34467ac2.tar.gz gnunet-18d272da7b9a03914abba35ef3992a7e34467ac2.zip |
man/produce_html: use shlib
Diffstat (limited to 'doc/man/produce_html.sh.in')
-rwxr-xr-x | doc/man/produce_html.sh.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/man/produce_html.sh.in b/doc/man/produce_html.sh.in new file mode 100755 index 000000000..3f4520776 --- /dev/null +++ b/doc/man/produce_html.sh.in | |||
@@ -0,0 +1,11 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | . @pkgdatadir@/existence.sh | ||
4 | |||
5 | if existence mandoc; | ||
6 | then | ||
7 | for f in `find . -name \*\.[1-9]`; | ||
8 | do | ||
9 | mandoc -T html $f > $f.html; | ||
10 | done | ||
11 | fi | ||