../ resources/ 01-Oct-2023 19:12 - arara-7.1.2-docsrc.zip 01-Oct-2023 19:12 2757110 arara-manual.pdf 01-Oct-2023 19:12 1155968 arara-quickstart.pdf 01-Oct-2023 19:12 191524 arara.1 01-Oct-2023 19:12 1726 htmlmanualtopdf.sh 01-Oct-2023 19:12 7603 htmlquickstarttopdf.sh 01-Oct-2023 19:12 2428