[PPL-devel] ppl/devtools generate_dox_ci_prolog_manual