git://git.onelab.eu
/
plcapi.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3dc696f
)
comment
author
gggeek
<giunta.gaetano@gmail.com>
Wed, 11 Jan 2023 15:13:14 +0000
(15:13 +0000)
committer
gggeek
<giunta.gaetano@gmail.com>
Wed, 11 Jan 2023 15:13:14 +0000
(15:13 +0000)
doc/build/taskfile
patch
|
blob
|
history
diff --git
a/doc/build/taskfile
b/doc/build/taskfile
index
55d6954
..
cb1317b
100755
(executable)
--- 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() {