10 manuals/en/*/version.tex
11 manuals/*/*/version.tex
12 manuals/*/utility/utilityi*
19 manuals/*/console/consolei*
20 manuals/*/developers/developersi*
27 manuals/*/console/console.pdf
28 manuals/*/console/console/
29 manuals/*/developers/developers.pdf
30 manuals/*/developers/developers/
31 manuals/*/main/main.pdf
33 manuals/*/misc/misc.pdf
35 manuals/*/problems/problems.pdf
36 manuals/*/problems/problems/
37 manuals/*/utility/utility.pdf
38 manuals/*/utility/utility/