From 8a85fbdd3db5000711848451661f90461b9abe76 Mon Sep 17 00:00:00 2001 From: Michael Gehring Date: Sat, 7 Oct 2017 06:39:05 +0000 Subject: [PATCH] html-xml-utils: update to 7.2. --- srcpkgs/html-xml-utils/template | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/srcpkgs/html-xml-utils/template b/srcpkgs/html-xml-utils/template index 0cbba1df883..2c85c9ae057 100644 --- a/srcpkgs/html-xml-utils/template +++ b/srcpkgs/html-xml-utils/template @@ -1,6 +1,6 @@ # Template file for 'html-xml-utils' pkgname=html-xml-utils -version=7.1 +version=7.2 revision=1 build_style=gnu-configure short_desc="A number of simple utilities for manipulating HTML and XML files" @@ -8,7 +8,7 @@ maintainer="Orphaned " license="custom" homepage="https://www.w3.org/Tools/HTML-XML-utils/README" distfiles="https://www.w3.org/Tools/HTML-XML-utils/${pkgname}-${version}.tar.gz" -checksum=ec0efd2263b864bb7e0ae5c59f02c43c5d8aebd0e1c0d2bfce391e665766d56e +checksum=9381d41a9bb7715bb9d970e24c4cdc43a8ff76c0500b9bbaf048b9f8d32d2bee post_install() { rm ${DESTDIR}/usr/share/doc/html-xml-utils/COPYING