17 manuals/en/*/version.tex
18 manuals/en/pdf-and-html
19 manuals/*/*/version.tex
20 manuals/*/utility/utilityi*
25 manuals/*/console/consolei*
26 manuals/*/developers/developersi*
33 manuals/*/console/console.pdf
34 manuals/*/console/console/
35 manuals/*/developers/developers.pdf
36 manuals/*/developers/developers/
37 manuals/*/main/main.pdf
39 manuals/*/misc/misc.pdf
41 manuals/*/problems/problems.pdf
42 manuals/*/problems/problems/
43 manuals/*/utility/utility.pdf
44 manuals/*/utility/utility/