wok diff xterm/receipt @ rev 25413

updated wkhtmltopdf (0.12.5 -> 0.12.6)
author: Hans-G?nter Theisgen
date: Thu Aug 04 08:30:32 2022 +0100 (2022-08-04)
parents: 7e911016a644
     1.1 --- a/xterm/receipt	Tue Jul 06 11:01:20 2021 +0000
     1.2 +++ b/xterm/receipt	Thu Aug 04 08:30:32 2022 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4  current_version()
     1.5  {
     1.6  	wget -O - ${WEB_SITE}xterm.log.html 2>/dev/null | \
     1.7 -	gunzip | sed '/Patch/!d;s|.*xterm_||;s|".*||;q'
     1.8 +	sed '/Patch/!d;s|.*xterm_||;s|".*||;q'
     1.9  }
    1.10  
    1.11  # Rules to configure and make the package.