git://git.onelab.eu / plcapi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 119e27c) | patch
bring back old doc-building toolchain based on sh/php scripts instead of pakefile...
authorgggeek <giunta.gaetano@gmail.com>
Wed, 21 Dec 2022 15:22:19 +0000 (15:22 +0000)
committergggeek <giunta.gaetano@gmail.com>
Wed, 21 Dec 2022 15:22:19 +0000 (15:22 +0000)
commit99a5fe55cb77da1182945b6a8be9a1872ee5afc5
tree8a8e730712bd1f807f807f30e644a709221cf06etree | snapshot
parent119e27c052affa7d912e39d14ff3b5c2be239a9ecommit | diff
bring back old doc-building toolchain based on sh/php scripts instead of pakefile, as it is more in line with modern practices or running CD in containers
.gitignore diff | blob | history
doc/build/composer.json diff | blob | history
doc/build/convert.php [new file with mode: 0644] blob
doc/build/custom.fo.xsl [new file with mode: 0644] blob
doc/build/generate.sh [new file with mode: 0755] blob
doc/build/setup_tools.sh diff | blob | history
pakefile.php [deleted file] blob | history
plcapi