From 16d7ac92598b4965dd2e53154b392ad859ae808b Mon Sep 17 00:00:00 2001 From: gggeek Date: Wed, 11 Jan 2023 15:13:14 +0000 Subject: [PATCH] comment --- doc/build/taskfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/build/taskfile b/doc/build/taskfile index 55d69540..cb1317b7 100755 --- a/doc/build/taskfile +++ b/doc/build/taskfile @@ -78,6 +78,8 @@ function build_api() { #PHPDOC='php build/vendor/bin/phpdoc' $PHPDOC run --cache-folder 'build/.phpdoc' -d "$(realpath ../src/)" -t 'api' --title PHPXMLRPC --defaultpackagename PHPXMLRPC + + # @todo manually mangle the index.html file to add generation date, lib version, etc... } function build_manual() { -- 2.47.0