\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Command-line options}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Image files}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Initialisation files}{6}}
