lib/Tools/mkdir
changeset 10353 b1b3f25750f4
parent 10308 c50fc8023ac0
child 10423 4fd0ce4a38bc
equal deleted inserted replaced
10352:638e1fc6ca74 10353:b1b3f25750f4
   196 %for best-style documents ...
   196 %for best-style documents ...
   197 \urlstyle{rm}
   197 \urlstyle{rm}
   198 \isabellestyle{it}
   198 \isabellestyle{it}
   199 
   199 
   200 \begin{document}
   200 \begin{document}
       
   201 
   201 \title{$NAME}\maketitle
   202 \title{$NAME}\maketitle
   202 \tableofcontents
   203 \tableofcontents
       
   204 
       
   205 \parindent 0pt\parskip 0.5ex
   203 \input{session}
   206 \input{session}
       
   207 
       
   208 %\bibliographystyle{plain}
       
   209 %\bibliography{root}
       
   210 
   204 \end{document}
   211 \end{document}
   205 
   212 
   206 EOF
   213 EOF
   207   fi
   214   fi
   208 fi
   215 fi