3 img_extensions=.eps .jpg .jpeg .png .pdf .ps .fig .gif
6 lastDocument=install.tex
10 pkg_extensions=.cls .sty
12 src_extensions=.tex .ltx .latex .dtx .ins
18 [item:autochangerres.tex]
36 [item:consoleconf.tex]
99 [item:installation.tex]
108 [item:messagesres.tex]
117 [item:monitorconf.tex]
126 [item:quickstart.tex]
144 [item:storedconf.tex]