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:
969020c
)
formatting
author
gggeek
<giunta.gaetano@gmail.com>
Thu, 22 Dec 2022 11:02:24 +0000
(11:02 +0000)
committer
gggeek
<giunta.gaetano@gmail.com>
Thu, 22 Dec 2022 11:02:24 +0000
(11:02 +0000)
doc/build/convert.php
patch
|
blob
|
history
diff --git
a/doc/build/convert.php
b/doc/build/convert.php
index
16aa9a7
..
c3661b1
100644
(file)
--- a/
doc/build/convert.php
+++ b/
doc/build/convert.php
@@
-54,8
+54,7
@@
if (version_compare(PHP_VERSION, '5.4', "<")) {
$processor->setSecurityPreferences(XSL_SECPREF_CREATE_DIRECTORY | XSL_SECPREF_WRITE_FILE);
}
}
-if (is_dir($target))
-{
+if (is_dir($target)) {
if (!$processor->setParameter('', 'base.dir', $target)) {
error("KO setting param base.dir");
}
@@
-91,7
+90,7
@@
function info($msg)
echo "$msg\n";
}
-function error($msg, $errcode
=
1)
+function error($msg, $errcode
=
1)
{
fwrite(STDERR, "$msg\n");
exit($errcode);