one more revamp of the doc gen toolchain
authorgggeek <giunta.gaetano@gmail.com>
Thu, 5 Jan 2023 23:11:15 +0000 (23:11 +0000)
committergggeek <giunta.gaetano@gmail.com>
Thu, 5 Jan 2023 23:11:15 +0000 (23:11 +0000)
commite8456e77a0f50b0ed2b81ac8ff807bc64862b777
tree16917cf3f42a90c73cbb13e431eac442f4a6e1de
parent7a411d8ccbff20dbb3cc19d36f351a97b4b379a3
one more revamp of the doc gen toolchain
.gitignore
doc/build/composer.json [deleted file]
doc/build/convert.php [deleted file]
doc/build/custom.fo.xsl [deleted file]
doc/build/custom.xsl [deleted file]
doc/build/generate.sh
doc/build/setup_tools.sh