diff options
| -rwxr-xr-x | dist-tools/htmldoc | 7 | ||||
| -rwxr-xr-x | dist-tools/makerelease.pl | 2 |
2 files changed, 7 insertions, 2 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 "$@" diff --git a/dist-tools/makerelease.pl b/dist-tools/makerelease.pl index 818e1db9..0f9a2f3b 100755 --- a/dist-tools/makerelease.pl +++ b/dist-tools/makerelease.pl @@ -94,8 +94,6 @@ if ($versions[0] eq $tag) { my $pwd = `pwd`; chomp $pwd; -$ENV{PATH} .= ":$pwd/dist-tools:$pwd/dist-tools/shipper"; - print "Building $version release, tag $tag, previous tag $oldtag\n"; if (-d "autom4te.cache") { |