1
0
mirror of https://github.com/php/systems.git synced 2026-03-23 23:32:12 +01:00

8 Commits

Author SHA1 Message Date
Derick Rethans
6a26c947c7 we now use the one from web-main 2024-02-07 16:52:38 +00:00
Hannes Magnusson
08e984185f this is a useless script, the chm doesn't reach here without being ok 2015-02-13 12:54:26 -08:00
Hannes Magnusson
9370f5f1ec Exclude manpages that are in the repo
The manpages in the repo are just dev fixtures.
This hopefully fixes manual/en/index.php reporting old build dates
2014-03-05 21:12:26 -08:00
Hannes Magnusson
c9fd5bde5c Fix a race condition between hardcoded data vs overwritten with generated data
This caused some mirrors, such as us3, to only serve the hardcoded data as
their rsync time must have been between the time we --reset hard the repo and
overwrote the files with update-phpweb-backend content
2014-01-23 17:13:14 -08:00
Daniel P. Brown
8f033680c8 Fixes a lot of path issues. Better than just going the symlink as before. 2012-02-16 12:16:27 -05:00
Hannes Magnusson
537def467a Remove confusing code 2008-03-19 15:26:00 +00:00
Gabor Hojtsy
e5ccef68e3 disable revcheck generation and howto copy actions.
no, I was unable to find, where the howto is generated (nor among
the scripts here, nor among the phpdoc mirror target build commands)
2005-04-06 14:51:12 +00:00
James Cox
42447b6eb7 adding rn1 systems files. 2002-12-14 06:10:03 +00:00