manuals/*/console/consolei-sd.tex
manuals/*/developers/developersi-general.tex
manuals/*/developers/developers.pdf
+manuals/*/developers/developersi-console.tex
+manuals/*/developers/developersi-dir.tex
+manuals/*/developers/developersi-fd.tex
+manuals/*/developers/developersi-general.tex
+manuals/*/developers/developersi-sd.tex
manuals/*/install/install.pdf
manuals/*/problems/problems.pdf
manuals/*/problems/problems/