Skip to content

Add genphdfiles.php: generate PhD auxiliary files from doc-base#261

Open
lacatoire wants to merge 3 commits into
php:masterfrom
lacatoire:move-genphdfiles
Open

Add genphdfiles.php: generate PhD auxiliary files from doc-base#261
lacatoire wants to merge 3 commits into
php:masterfrom
lacatoire:move-genphdfiles

Cache sources.xml under temp/ to skip the scan on repeated runs

07ba1e0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
doc-en
succeeded Jul 8, 2026 in 1m 22s