doc:builds
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
doc:builds [2011/04/06 10:59] – external edit 127.0.0.1 | doc:builds [2017/09/22 13:28] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 3: | Line 3: | ||
=== Mirror builds === | === Mirror builds === | ||
- | The [[systems/ | + | The [[systems/ |
=== Doc server builds === | === Doc server builds === | ||
- | The documentation server builds and displays the [[http:// | + | The documentation server builds and displays the [[http:// |
=== CHM builds === | === CHM builds === | ||
- | The CHM version of the manual is built on a Windows machine and also rsynced | + | The CHM version of the manual is built on a Windows machine and are pulled |
=== Validation === | === Validation === | ||
Line 16: | Line 16: | ||
=== Additional notes === | === Additional notes === | ||
* If a manual does not validate on Friday, it will not be pushed to the mirrors until hopefully the upcoming Friday. | * If a manual does not validate on Friday, it will not be pushed to the mirrors until hopefully the upcoming Friday. | ||
- | * Only active translations are selectable/ | + | * Only active translations are selectable/ |
=== The humans who manage these === | === The humans who manage these === | ||
If there is a problem with the synced builds, it's wise to contact Derick or Hannes. If a problem exists on the developmental server (docs.php.net), | If there is a problem with the synced builds, it's wise to contact Derick or Hannes. If a problem exists on the developmental server (docs.php.net), |
doc/builds.1302087566.txt.gz · Last modified: 2017/09/22 13:28 (external edit)