chm files do not seem to be updated

[email protected] (Yoshinari Takaoka) Wed, 28 Dec 2022 22:50:48 +0900
Newsgroups php.doc
Organization mumumu.org
Message-ID <[email protected]>
Hi.

Recently I migrated chm files generate system from AWS to my local Windows 11 box, and updated doc-base/scripts/fetch-chms.php. But chm files are not updated for 2 weeks.

https://github.com/php/doc-base/commit/298fc93344c8a2410959650b0ae79f11080cb6ce

It seems that systems cannot be updated because it refers to svn sources.

https://github.com/php/systems/blob/master/update-docs-sources#L8-L11

Is anyone have permission to look into this?

Best Regards.

-- 
Yoshinari Takaoka a.k.a mumumu
reversethis -> gro tod umumum ta umumum