improve doc build toolchain to use latest phpdocumentor; one fix to the manual
authorgggeek <giunta.gaetano@gmail.com>
Thu, 5 Jan 2023 21:13:54 +0000 (21:13 +0000)
committergggeek <giunta.gaetano@gmail.com>
Thu, 5 Jan 2023 21:13:54 +0000 (21:13 +0000)
commit5c8496802b9948be10505c6d4187677b69163ffc
treef3a206121c5a27bb43c3e0f5559995376d97eedf
parent410e552b4e02c2eac676e9f6d5fd9b954bf320a1
improve doc build toolchain to use latest phpdocumentor; one fix to the manual
.gitignore
doc/build/composer.json
doc/build/convert.php
doc/build/generate.sh
doc/build/setup_tools.sh [changed mode: 0644->0755]
doc/manual/phpxmlrpc_manual.adoc