13 manuals/en/*/version.tex
14 manuals/*/*/version.tex
15 manuals/*/utility/utilityi*
22 manuals/*/console/consolei*
23 manuals/*/developers/developersi*
30 manuals/*/console/console.pdf
31 manuals/*/console/console/
32 manuals/*/developers/developers.pdf
33 manuals/*/developers/developers/
34 manuals/*/main/main.pdf
36 manuals/*/misc/misc.pdf
38 manuals/*/problems/problems.pdf
39 manuals/*/problems/problems/
40 manuals/*/utility/utility.pdf
41 manuals/*/utility/utility/