diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index 8f749fed029..9fa05679873 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -196,7 +196,7 @@ jobs: (cd doc && git commit -a -m 'new') # Wipe out chronic diffs of new doc against old doc before creating CHANGES.html (cd doc && \ - find . -name "*.html" | xargs sed -i -e '/This is documentation of/ s/ built with GitHub PR .* for development/ for development/' \ + find . -name "*.html" | xargs sed -i -e '/This is documentation/ s/ built with GitHub PR .* for development/ for development/' \ -e '/;,\;; d' \ && git commit -a -m 'wipe-out') diff --git a/build/pkgs/configure/checksums.ini b/build/pkgs/configure/checksums.ini index 63e08ba92ce..0397fc3d85a 100644 --- a/build/pkgs/configure/checksums.ini +++ b/build/pkgs/configure/checksums.ini @@ -1,3 +1,3 @@ tarball=configure-VERSION.tar.gz -sha1=a78a0025292f4831f84dc059734320de0e66e216 -sha256=c108de2bfbbf3f2543ada5742d5bc9a58df700d8b6125df92b1888f867b60174 +sha1=4bb7f62aabcfedcd2eebac929a7c076013dde9c2 +sha256=872a5d7197fa8d20a0e4c3b933b8151a8698baa7b4c84a39b4b4250865411945 diff --git a/build/pkgs/configure/package-version.txt b/build/pkgs/configure/package-version.txt index bfc9d17635e..a4f6b513887 100644 --- a/build/pkgs/configure/package-version.txt +++ b/build/pkgs/configure/package-version.txt @@ -1 +1 @@ -74119807d7989c879f2eee167e4e29af7c4f588a +04756f14e9affea5bfe20bf61dab10d2e3754899