mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-01-10 13:03:54 +08:00
Code Issues Packages Projects Releases Wiki Activity
ffc15e913c
php-src/docs
History
Peter Kokot 29bff939c7 Enhance makedist script 
This enhances the makidst script:
- integrate both snapshot and makedist scripts together
- add help and options
- generated files are created in the php-src repository directly
- other minor enhancemenets such as CS fixes
- functionality moved from the Makefile to only shell script
- Add missed patching of the Zend Parsers to the main build step
- Add all *.tmp files to gitignore
2019-05-18 02:05:59 +02:00
..
input-filter.md [ci skip] Fix CS in Markdown files 2019-04-21 15:33:20 +02:00
mailinglist-rules.md [ci skip] Fix CS in Markdown files 2019-04-21 15:33:20 +02:00
output-api.md [ci skip] Fix CS in Markdown files 2019-04-21 15:33:20 +02:00
parameter-parsing-api.md [ci skip] Fix CS in Markdown files 2019-04-21 15:33:20 +02:00
release-process.md Enhance makedist script 2019-05-18 02:05:59 +02:00
self-contained-extensions.md [ci skip] Fix CS in Markdown files 2019-04-21 15:33:20 +02:00
streams.md [ci skip] Fix CS in Markdown files 2019-04-21 15:33:20 +02:00
unix-build-system.md Move acinclude.m4 to build/php.m4 2019-04-23 20:28:45 +02:00