From ceb5a6ac27ecf89ae8d9d715917e6e25c1cf322e Mon Sep 17 00:00:00 2001 From: Matthias Andree Date: Sat, 27 Aug 2022 08:48:46 +0200 Subject: Add flatpak htmldoc wrapper. --- dist-tools/htmldoc | 7 +++++++ dist-tools/makerelease.pl | 2 -- 2 files changed, 7 insertions(+), 2 deletions(-) create mode 100755 dist-tools/htmldoc (limited to 'dist-tools') 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") { -- cgit v1.2.3