src/Doc/JEdit/document/root.tex

--- a/src/Doc/JEdit/document/root.tex	Thu Oct 31 16:47:36 2013 +0100
+++ b/src/Doc/JEdit/document/root.tex	Thu Oct 31 17:13:39 2013 +0100
@@ -65,7 +65,10 @@
 \end{itemize}
 
 
-\pagenumbering{roman} \tableofcontents \clearfirst
+\pagenumbering{roman}
+\tableofcontents
+\listoffigures
+\clearfirst
 
 \input{JEdit.tex}