diff options
| author | Matthias Andree <matthias.andree@gmx.de> | 2022-08-27 08:48:46 +0200 |
|---|---|---|
| committer | Matthias Andree <matthias.andree@gmx.de> | 2022-08-27 09:02:09 +0200 |
| commit | ceb5a6ac27ecf89ae8d9d715917e6e25c1cf322e (patch) | |
| tree | d97f553789e6d9a954782171473de1aac3210ae8 /dist-tools/htmldoc | |
| parent | 7d456b3ffe4438f0182ea99c7cb507151e92179e (diff) | |
| download | fetchmail-ceb5a6ac27ecf89ae8d9d715917e6e25c1cf322e.tar.gz fetchmail-ceb5a6ac27ecf89ae8d9d715917e6e25c1cf322e.tar.bz2 fetchmail-ceb5a6ac27ecf89ae8d9d715917e6e25c1cf322e.zip | |
Add flatpak htmldoc wrapper.
Diffstat (limited to 'dist-tools/htmldoc')
| -rwxr-xr-x | dist-tools/htmldoc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dist-tools/htmldoc b/dist-tools/htmldoc new file mode 100755 index 00000000..b16af17f --- /dev/null +++ b/dist-tools/htmldoc @@ -0,0 +1,7 @@ +#!/bin/sh +set -eu +type htmldoc >/dev/null 2>&1 && case "$(type htmldoc)" in +*"$(realpath $(dirname $0))"*) ;; # ignore re-executing ourselves to avoid unterminated recursion +*) exec htmldoc "$@" ;; +esac +exec flatpak run --filesystem=host org.msweet.htmldoc "$@" |