From fb0d28061e26c097e0eca0129f17303ede491d3e Mon Sep 17 00:00:00 2001 From: benoit Date: Fri, 3 Jun 2022 09:24:54 +0000 Subject: [PATCH] Update to htmldoc-1.9.16. --- print/htmldoc/Makefile | 2 +- print/htmldoc/distinfo | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/print/htmldoc/Makefile b/print/htmldoc/Makefile index f6926cac6d3..ce7a9230b79 100644 --- a/print/htmldoc/Makefile +++ b/print/htmldoc/Makefile @@ -1,6 +1,6 @@ COMMENT = convert HTML pages to PDF/PS format -V = 1.9.15 +V = 1.9.16 DISTNAME = htmldoc-${V} CATEGORIES = print www diff --git a/print/htmldoc/distinfo b/print/htmldoc/distinfo index 83034239c1c..a80cd92d0ba 100644 --- a/print/htmldoc/distinfo +++ b/print/htmldoc/distinfo @@ -1,2 +1,2 @@ -SHA256 (htmldoc-1.9.15-source.tar.gz) = woMxiygSPJm7pem29Rw+baFhUJ5bec8y3aOfHCp1THA= -SIZE (htmldoc-1.9.15-source.tar.gz) = 3388557 +SHA256 (htmldoc-1.9.16-source.tar.gz) = sQhjhcTBbNq+QoqxqgQSZrrr7jnyIs9qOUe0ECe32uM= +SIZE (htmldoc-1.9.16-source.tar.gz) = 3389563